From: Mark Thom Date: Mon, 27 Feb 2017 19:36:52 +0000 (-0700) Subject: remove todo X-Git-Tag: v0.8.110~765 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=00ad58e741e4acdff90c696b65420ad8b0300e43;p=scryer-prolog.git remove todo --- diff --git a/src/l2/codegen.rs b/src/l2/codegen.rs index 4de05481..1b11bf4d 100644 --- a/src/l2/codegen.rs +++ b/src/l2/codegen.rs @@ -412,7 +412,6 @@ 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) => {