Merge pull request #212 from gares/elpi-2.0

spitters · web-flow · commit 736118d59a1a · 2024-11-28T17:29:19.000+01:00
adapt to elpi 2.0
diff --git a/write_image/WritePPM.v b/write_image/WritePPM.v
@@ -164,5 +164,5 @@ Elpi Accumulate lp:{{
     close_out OSTREAM
   .
 }}.
-Elpi Typecheck.
+
 
