minor fix, refs #7

mlliarm · mlliarm · commit 40c0260805a2 · 2020-11-10T19:08:32.000+01:00
diff --git a/tests.lgt b/tests.lgt
@@ -75,6 +75,7 @@
     test(interval_arithmetic_mul_3_02, fail) :-
         new(1, 2, X),
         new(3, 4, Y),
+        mul(X, Y, Mul),
         Mul == [1, 4].
 
     % div/3 tests
