From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 25 Feb 2017 21:29:11 +0000 (-0700)
Subject: codegen bug fix.
X-Git-Tag: v0.8.110~768
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=59eb04866afcadb318986245297d5f07c49559a6;p=scryer-prolog.git

codegen bug fix.
---

diff --git a/src/l2/codegen.rs b/src/l2/codegen.rs
index 1ffb2e06..e17a4900 100644
--- a/src/l2/codegen.rs
+++ b/src/l2/codegen.rs
@@ -432,6 +432,8 @@ impl<'a> CodeGenerator<'a> {
     }
 
     pub fn compile_fact(&mut self, term: &'a Term) -> Code {
+        self.marker.advance(term);
+        
         let mut compiled_fact = vec![Line::Fact(self.compile_target(term))];
         let proceed = Line::Control(ControlInstruction::Proceed);
 
@@ -440,6 +442,8 @@ impl<'a> CodeGenerator<'a> {
     }
 
     pub fn compile_query(&mut self, term: &'a Term) -> Code {
+        self.marker.advance(term);
+        
         let mut compiled_query = vec![Line::Query(self.compile_target(term))];
 
         match term {