extend false cases for is

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 10aee83d0b9b59868df5771a2bf2c7687967bcc4..aa573b92961229313e09faf59b29e3d43820da42 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -386,7 +386,7 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
                                 code.push(is_call!(temp_v!(1)));
                             },
                             _ => {
-                                return Err(ParserError::from(ArithmeticError::InvalidTerm));
+                                code.push(fail!());
                             }
                         }
                     },