Add semantics/alt_semantics to the build sequence

CakeML · May 29, 2019 · 1525f6a · 1525f6a
1 parent 52270c0
commit 1525f6a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/developers/build-sequence b/developers/build-sequence
@@ -8,6 +8,8 @@ developers/bin
 semantics/ffi
 semantics
 semantics/proofs
+semantics/alt_semantics
+semantics/alt_semantics/proofs
 
 # translator
 basis/pure