aac-tactics off by default

damien-pous · Oct 20, 2020 · 1f71ff3 · 1f71ff3
1 parent afb2ddf
commit 1f71ff3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/_CoqProject b/_CoqProject
@@ -79,4 +79,3 @@ all.v
 compiler_opts.v
 imp.v
 paterson.v
-rewriting_aac.v