Skip to content

Commit 8347d83

Browse files
committed
trap failure to metta_to_metta_macro and compile_for_assert_3
1 parent 1e3d2c9 commit 8347d83

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

prolog/metta_lang/metta_compiler.pl

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -408,8 +408,9 @@
408408
compile_for_assert_2(HeadIsIn, AsBodyFnIn, Converted).
409409

410410
compile_for_assert_2(HeadIsIn, AsBodyFnIn, Converted) :-
411+
must_det_lls((
411412
metta_to_metta_macro(HeadIsIn, AsBodyFnIn, HeadIs, AsBodyFn),
412-
compile_for_assert_3(HeadIs, AsBodyFn, Converted).
413+
compile_for_assert_3(HeadIs, AsBodyFn, Converted))).
413414

414415
compile_for_assert_3(HeadIsIn, AsBodyFnIn, Converted) :-
415416
%must_det_lls((

0 commit comments

Comments
 (0)