fix for #128

trueagi-io · Oct 4, 2024 · b7d724b · b7d724b
1 parent 789f080
commit b7d724b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.Attic/metta_lang/metta_utils.pl b/.Attic/metta_lang/metta_utils.pl
@@ -323,6 +323,7 @@
 always_rethrow(metta_return(_)).
 always_rethrow(give_up(_)).
 always_rethrow(time_limit_exceeded(_)).
+always_rethrow(time_limit_exceeded).
 always_rethrow(depth_limit_exceeded).
 always_rethrow(restart_reading).
 always_rethrow(E):- never_rrtrace,!,throw(E).