attempt

LPCIC · Dec 14, 2024 · 7a70270 · 7a70270
1 parent 0fc3f06
commit 7a70270
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -6,7 +6,7 @@ elpi/dune: elpi/dune.in
 	@if $$(coqc --version | grep -q "8.19\|8.20") ; then \
 	  sed -e 's/@@STDLIB_THEORY@@//' $< >> $@ ; \
 	else \
-	  sed -e 's/@@STDLIB_THEORY@@/(theories Stdlib)/' $< >> $@ ; \
+	  sed -e 's/@@STDLIB_THEORY@@//' $< >> $@ ; \
 	fi
 	@chmod a-w $@