summaryrefslogtreecommitdiff
path: root/src/main.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/main.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml
index 2d2518c7..b4537c3a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -46,4 +46,4 @@ let () =
log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n"));
(* Test the unit functions *)
- I.Test.test_all_unit_functions m.types m.functions
+ I.Test.test_unit_functions m.types m.functions