Commit 491eab9a authored by bbr's avatar bbr
Browse files

prettyflat now better in makefile

parent 22b56e30
......@@ -102,7 +102,7 @@ biostdlibraries:
$(BIN)prettyflat:
$(KICS) -userlibpath ~/lehrstuhl/curry/libraries -executable -o $(BIN)prettyflat -main mainPrint PrettyFlat.curry
$(KICS) -executable -o $(BIN)prettyflat -main mainPrint PrettyFlat.curry
cpns: $(CPNS)CPNS.state
......
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