From: Mark Thom Date: Mon, 27 Feb 2017 19:35:27 +0000 (-0700) Subject: remove todo X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=892decc9a7e89e7b0bb9de50de453d63192e2263;p=scryer-prolog.git remove todo --- diff --git a/src/l2/codegen.rs b/src/l2/codegen.rs index 4de05481..69ed8882 100644 --- a/src/l2/codegen.rs +++ b/src/l2/codegen.rs @@ -411,8 +411,7 @@ impl<'a> CodeGenerator<'a> { vfs } - - //TODO: remove this if it proves to be unnecessary. + fn add_conditional_call(compiled_query: &mut Code, term: &Term) { match term { &Term::Atom(_, ref atom) => {