Add missing def to backendComputeLib

ncough · Apr 6, 2018 · 28ba7fc · 28ba7fc
1 parent f558050
commit 28ba7fc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/backend/backendComputeLib.sml b/compiler/backend/backendComputeLib.sml
@@ -503,6 +503,7 @@ val add_backend_compset = computeLib.extend_compset
     ,data_to_wordTheory.LongDiv1_location_eq
     ,data_to_wordTheory.LongDiv_location_eq
     ,data_to_wordTheory.MemCopy_location_eq
+    ,data_to_wordTheory.Dummy_location_eq
     ,data_to_wordTheory.Install_location_eq
     ,data_to_wordTheory.InstallCode_location_eq
     ,data_to_wordTheory.InstallData_location_eq