Skip to content

Commit 7889fc0

Browse files
committed
minor fix, refs #7
1 parent 9964186 commit 7889fc0

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

tests.lgt

+2-2
Original file line numberDiff line numberDiff line change
@@ -124,12 +124,12 @@
124124
% abs/2 tests
125125
test(interval_arithmetic_mag_2_01, deterministic) :-
126126
new(-3, 2, X),
127-
abs(X, Mag),
127+
mag(X, Mag),
128128
Mag == 3.
129129

130130
test(interval_arithmetic_mag_2_02, fail) :-
131131
new(-3, 2, X),
132-
abs(X, Mag),
132+
mag(X, Mag),
133133
Mag == 2.
134134

135135
:- end_object.

0 commit comments

Comments
 (0)