1 files changed, 2 insertions, 1 deletions

diff --git a/test/dune b/test/dune
index 96dc350..5901758 100644
--- a/test/dune
+++ b/test/dune
@@ -1,2 +1,3 @@
 (test
- (name test_chadprover))
+ (name test_lexing) ; TODO: change back to test_chadprover
+ (libraries chadprover))