this require elpi 1.8

LPCIC · Oct 7, 2019 · c3efc99 · c3efc99
1 parent 41fa3a0
commit c3efc99
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/tests/test_API.v b/theories/tests/test_API.v
@@ -39,7 +39,7 @@ Elpi Query lp:{{
   coq.version V MA MI P,
   std.assert! (MA = 8 ; MA = 9) "Coq major version not 8 or 9",
   std.assert! (MI >= 0 ; MI < 20) "Coq minor version not in 0 - 20",
-  std.assert! (P >= 0 ; P > -5) "Coq never made so many betas",
+  % std.assert! (P >= 0 ; P > -5) "Coq never made so many betas",
   coq.say "Coq version:" V "=" MA "." MI "." P.
 }}.