summaryrefslogtreecommitdiff
path: root/mkfile
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 15:51:04 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 15:51:04 +0000
commit02145f06ac007d730bc16930185fe18fa3e76c68 (patch)
treed71744b876974a4fd3062daf9dc334a984782f80 /mkfile
parent0b36426d023e45d6acbc7672c7083a91d10913a8 (diff)
Add a term parser.
Diffstat (limited to 'mkfile')
-rw-r--r--mkfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/mkfile b/mkfile
index 18fff33..0e6af56 100644
--- a/mkfile
+++ b/mkfile
@@ -2,7 +2,7 @@
TARG=pprolog
-OFILES=main.$O parser.$O
+OFILES=main.$O parser.$O prettyprint.$O misc.$O
HFILES=dat.h fns.h