Commit 336d15d3 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

fixed makefile entry for tptp_parser.mly

parent 09a78c43
......@@ -416,7 +416,7 @@ byte: bin/tptp2why.byte
opt: bin/tptp2why.opt
endif
src/tptp2why/tptp_parser.ml src/tptp2why/tptp_parser.mli: src/tptp2why/tptpTree.cmi src/tptp2why/tptp_parser.mly
src/tptp2why/tptp_parser.ml src/tptp2why/tptp_parser.mli src/tptp2why/tptp_parser.output: src/tptp2why/tptpTree.cmi src/tptp2why/tptp_parser.mly
cd $(TPTP_DIR) && $(MENHIR) --infer tptp_parser.mly
bin/tptp2why.opt: $(TPTPCMX)
......
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