proof: remove AArch64 quick_and_dirty CRefine

CRefine on AARCH64 is now sorry-free, and there are no other sorried developments at this time. Signed-off-by: Rafal Kolanski <[email protected]>
seL4 · Mar 25, 2024 · 4efd093 · 4efd093
1 parent 754acc3
commit 4efd093
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/proof/Makefile b/proof/Makefile
@@ -10,11 +10,6 @@ default: images test
 test:
 all: images test
 
-# Allow sorry command in AARCH64 CRefine during development:
-ifeq "$(L4V_ARCH)" "AARCH64"
-  export CREFINE_QUICK_AND_DIRTY=1
-endif
-
 #
 # Setup heaps.
 #