Fix simple example

SEL4PROJ · Jun 28, 2019 · f247ac2 · f247ac2
1 parent 123e1a8
commit f247ac2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/example_projs/simple/appleScript.sml b/example_projs/simple/appleScript.sml
@@ -1,9 +1,9 @@
-open preamble basis;
+open preamble basis targetInfoTheory;
 
 val _ = new_theory "apple";
 
 (* Replace by a translation extends call *)
-require basisProg;
+require basisProg targetInfo;
 
 val _ = ml_prog_update (open_module "Apple");