diff --git a/proof/Makefile b/proof/Makefile
index 8781240b1e..7ee45d2a3e 100644
--- 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.
 #