diff options
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 8b212a5..c052a7d 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -28,7 +28,6 @@ library CHAD.Types Compile Compile.Exec - -- CompileCu Data Example Example.GMM @@ -42,7 +41,6 @@ library Language Language.AST Lemmas - -- PreludeCu Simplify Util.IdGen other-modules: |