diff options
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 27c5520..fb5f4de 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -17,6 +17,7 @@ library CHAD -- Compile Example + Lemmas PreludeCu Simplify other-modules: |