adapt to elpi 2.0

gares · gares · commit 2d6aba22fd1d · 2024-11-27T16:48:20.000+01:00
diff --git a/write_image/WritePPM.v b/write_image/WritePPM.v
@@ -164,5 +164,5 @@ Elpi Accumulate lp:{{
     close_out OSTREAM
   .
 }}.
-Elpi Typecheck.
+
 
