diff options
Diffstat (limited to 'src/versions/standard/Makefile')
| -rw-r--r-- | src/versions/standard/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/versions/standard/Makefile b/src/versions/standard/Makefile index 9d2a5de..0225e3c 100644 --- a/src/versions/standard/Makefile +++ b/src/versions/standard/Makefile @@ -235,6 +235,7 @@ endif MLFILES:=versions/standard/structures.ml\ trace/coqTerms.ml\ + trace/smtBtype.ml\ trace/satAtom.ml\ trace/smtAtom.ml\ trace/smtCertif.ml\ @@ -282,6 +283,7 @@ endif MLIFILES:=versions/standard/structures.mli\ trace/coqTerms.mli\ + trace/smtBtype.mli\ trace/satAtom.mli\ trace/smtAtom.mli\ trace/smtCertif.mli\ |