diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-29 13:17:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-29 13:17:31 -0400 |
| commit | 05b7d79819dd5f006527bef7679b06868b3e0da7 (patch) | |
| tree | 0ecad148d41060d9728486fd61309de6e8cb561e /src/sources | |
| parent | c5521a5f402e3d5f7c2e9c4a36966df196a70fdd (diff) | |
Initial support for reusing elaboration results
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sources b/src/sources index 4011ce3b..551d4ca5 100644 --- a/src/sources +++ b/src/sources @@ -78,6 +78,9 @@ disjoint.sml elab_err.sig elab_err.sml +mod_db.sig +mod_db.sml + elaborate.sig elaborate.sml |