diff options
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/specialize.ml b/src/specialize.ml index 3063e4d5..05f675b2 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -490,6 +490,7 @@ let initial_calls = ref (IdSet.of_list mk_id "execute"; mk_id "decode"; mk_id "initialize_registers"; + mk_id "prop"; mk_id "append_64" (* used to construct bitvector literals in C backend *) ]) |