diff options
Diffstat (limited to 'src/test/run_tests.ml')
| -rw-r--r-- | src/test/run_tests.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml index a8323322..770ed426 100644 --- a/src/test/run_tests.ml +++ b/src/test/run_tests.ml @@ -11,7 +11,9 @@ let tests = [ (*"power", Power.defs;*) ] ;; -let run_one ((name, _) as t) = (name, fst(Run_interp.run t)) +let fst3 (x,_,_) = x + +let run_one ((name, _) as t) = (name, fst3(Run_interp.run t)) let run_all () = let results = List.map run_one tests in |