Fixing the test setup

spacekookie · Nov 1, 2017 · 29323ff · 29323ff
1 parent cbf4bd8
commit 29323ff
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/tests/mod.rs b/src/tests/mod.rs
@@ -31,7 +31,6 @@
 mod symbols;
 mod terms;
 mod clauses;
-mod benches;
 
 use terms::*;
 use clause::*;