diff options
Diffstat (limited to '.depend.coq')
-rw-r--r-- | .depend.coq | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.depend.coq b/.depend.coq index 6515baa6b..1f1fc0a93 100644 --- a/.depend.coq +++ b/.depend.coq @@ -12,6 +12,7 @@ theories/Init/Datatypes.vo: theories/Init/Datatypes.v test-suite/bench/lists_100.vo: test-suite/bench/lists_100.v test-suite/bench/lists-100.vo: test-suite/bench/lists-100.v syntax/PPTactic.vo: syntax/PPTactic.v +syntax/PPConstr.vo: syntax/PPConstr.v syntax/PPCommand.vo: syntax/PPCommand.v syntax/PPCases.vo: syntax/PPCases.v syntax/MakeBare.vo: syntax/MakeBare.v |