use CompiledFact in machine.rs

diff --git a/src/l1/machine.rs b/src/l1/machine.rs
index 5bf0a5ef5bbdba83e1a4d09a14ac2298958e78f3..3ef4d2bca3e2db90b6b128a7df07eefd31d92fa9 100644 (file)
--- 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
 }