Commit a0436157 authored by POTTIER Francois's avatar POTTIER Francois

Fix the path built into the standard library .vo modules.

parent dc7699d9
......@@ -17,7 +17,7 @@ export
COQINCLUDE := \
-R $(TLC) TLC \
-R $(CFML)/lib/coq CFML \
-R $(PWD) STDLIB
-R $(PWD) CFML.Stdlib
##############################################################################
# Files.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment