diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 09:29:49 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 09:29:49 -0400 |
commit | cc2b6499cd2ea61f8882419cc5915c3428d5f5b7 (patch) | |
tree | 137254c1e98dbf1c00c2f002c254766b4c75cd80 /src/sources | |
parent | 8b56aa658fa544d041a2eac45c87d76f4597f94d (diff) |
Factor some operations into ElabOps
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 5bfb0221..03b8f344 100644 --- a/src/sources +++ b/src/sources @@ -32,6 +32,9 @@ elab_env.sml elab_print.sig elab_print.sml +elab_ops.sig +elab_ops.sml + elaborate.sig elaborate.sml |