remove last cheats

coq-community · Dec 10, 2023 · 0e63442 · 0e63442
1 parent abedf13
commit 0e63442
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/artifact-clean.zip b/artifact-clean.zip
diff --git a/examples/trocq_gen_rewrite.v b/examples/trocq_gen_rewrite.v
@@ -17,9 +17,6 @@ From Trocq Require Import Trocq.
 
 Set Universe PolymoRinthism.
 
-Axiom cheat : forall A, A.
-Ltac cheat := apply cheat.
-
 Declare Scope int_scope.
 Delimit Scope int_scope with int.