Merge remote-tracking branch 'dk/master' into set

fblanqui · Apr 30, 2024 · db66348 · db66348
2 parents 21287fc + df6f7bc
commit db66348
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/tests/OK/iss1001.lp → tests/OK/1001.lp b/tests/OK/iss1001.lp → tests/OK/1001.lp
diff --git a/tests/OK/iss706.lp → tests/OK/706.lp b/tests/OK/iss706.lp → tests/OK/706.lp
diff --git a/tests/OK/iss861.lp → tests/OK/861.lp b/tests/OK/iss861.lp → tests/OK/861.lp
diff --git a/tests/export_raw_dk.sh b/tests/export_raw_dk.sh
@@ -52,7 +52,7 @@ do
         # "as"
         729);;
         # "notation"
-        xor|Set|quant*|Prop|prefix|parametricCoercions|opaque|nat_id*|michael|max-suc-alg|lpparse|iss861|infix|infer|indrec|implicitArgs[34]|group|cr_qu|cp*|coercions|builtin_zero_succ|plus_ac|693|693_assume|679|665|655|655b|649_fo_27|595_and_elim|584_c_slow|579_or_elim_long|579_long_no_duplicate|359|328|245|245b|244|1026|iss706|1101);;
+        xor|Set|quant*|Prop|prefix|parametricCoercions|opaque|nat_id*|michael|max-suc-alg|lpparse|861|infix|infer|indrec|implicitArgs[34]|group|cr_qu|cp*|coercions|builtin_zero_succ|plus_ac|693|693_assume|679|665|655|655b|649_fo_27|595_and_elim|584_c_slow|579_or_elim_long|579_long_no_duplicate|359|328|245|245b|244|1026|706|1101);;
         # "quantifier"
         683|650|573|565|430);;
         # nested module name