aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/StdCompare.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl
index 9b25f2e..fb34ff4 100644
--- a/frontend/StdCompare.icl
+++ b/frontend/StdCompare.icl
@@ -246,7 +246,7 @@ smallerOrEqual t1 t2
instance =< AType
where
(=<) {at_type=at_type_1} {at_type=at_type_2}
- = at_type_1 =< at_type_2
+ = smallerOrEqual at_type_1 at_type_2
instance =< BasicType
where