diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-19 12:12:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-19 12:12:59 -0400 |
| commit | 8476261d4f4a9a67119abc05cb40907ad979b4de (patch) | |
| tree | 8c46ce5f2896d194de0e2b1b04c9895e80efc17e /src/sources | |
| parent | 98651ecbb17fce5630300f0050f323d7d023cf6b (diff) | |
Proper generation of relation names; checking that sequences exist
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 506f1767..388e0996 100644 --- a/src/sources +++ b/src/sources @@ -119,6 +119,9 @@ mono_reduce.sml mono_shake.sig mono_shake.sml +pathcheck.sigx +pathcheck.sml + cjr.sml cjr_env.sig |