Update for ffiname

CakeML · Dec 17, 2023 · 2905913 · 2905913
1 parent a655ddc
commit 2905913
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/backend/serialiser/backend_enc_decScript.sml b/compiler/backend/serialiser/backend_enc_decScript.sml
@@ -154,6 +154,8 @@ val _ = reg_enc_dec tra_enc'_thm;
 val res = define_enc_dec “:var_name”
 val res = define_enc_dec “:word_size”
 val res = define_enc_dec “:mlstring”
+val res = define_enc_dec “:shmem_op”
+val res = define_enc_dec “:ffiname”
 
 (* const *)