Disabling MemCpyVCG

leanprover · Nov 5, 2024 · 7423970 · 7423970
1 parent 15204d8
commit 7423970
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Proofs/Proofs.lean b/Proofs/Proofs.lean
@@ -18,4 +18,4 @@ import Proofs.Experiments.Abs.AbsVCG
 import Proofs.Experiments.Abs.AbsVCGTandem
 import Proofs.Experiments.AddLoop.AddLoop
 import Proofs.Experiments.AddLoop.AddLoopTandem
-import Proofs.Experiments.Memcpy.MemCpyVCG
+-- import Proofs.Experiments.Memcpy.MemCpyVCG