Fix to_bvlProg

CakeML · Dec 22, 2018 · 7561412 · 7561412
1 parent 6e7962e
commit 7561412
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/bootstrap/translation/to_bvlProgScript.sml b/compiler/bootstrap/translation/to_bvlProgScript.sml
@@ -2,6 +2,7 @@
   Translate the backend phase from closLang to BVL.
 *)
 open preamble ml_translatorLib ml_translatorTheory to_closProgTheory
+local open backendTheory in end
 
 val _ = new_theory "to_bvlProg";
 val _ = translation_extends "to_closProg";