Commit 7f8bc1de authored by POTTIER Francois's avatar POTTIER Francois

Forgot to remove two mentions of [ErrorReporting].

parent a583ad8f
......@@ -23,7 +23,6 @@
<convert.cmx>: for-pack(MenhirLib)
<engine.cmx>: for-pack(MenhirLib)
<engineTypes.cmx>: for-pack(MenhirLib)
<ErrorReporting.cmx>: for-pack(MenhirLib)
<general.cmx>: for-pack(MenhirLib)
<IncrementalEngine.cmx>: for-pack(MenhirLib)
<infiniteArray.cmx>: for-pack(MenhirLib)
......
......@@ -4,7 +4,6 @@
Convert
Engine
EngineTypes
ErrorReporting
General
IncrementalEngine
InfiniteArray
......
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