From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 29 Jan 2017 22:03:16 +0000 (-0700)
Subject: use CompiledFact in machine.rs
X-Git-Tag: v0.8.110~781
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a56e82f94dc8c37c2f02ecd9659f4bb4f879e16f;p=scryer-prolog.git

use CompiledFact in machine.rs
---

diff --git a/src/l1/machine.rs b/src/l1/machine.rs
index 5bf0a5ef..3ef4d2bc 100644
--- a/src/l1/machine.rs
+++ b/src/l1/machine.rs
@@ -1,4 +1,4 @@
-use l1::ast::{Addr, Atom, FactInstruction, QueryInstruction};
+use l1::ast::{Addr, Atom, CompiledFact, FactInstruction, QueryInstruction};
 
 use std::collections::HashMap;
 use std::vec::Vec;
@@ -28,7 +28,7 @@ pub struct Machine {
     heap : Heap,
     mode : MachineMode,
     pub code_dir : HashMap<(Atom, usize), usize>,
-    pub code : Vec<FactInstruction>,
+    pub code : CompiledFact,
     registers : Registers
 }