diff options
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/specialize.ml b/src/specialize.ml index 1da7208a..3063e4d5 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -485,7 +485,6 @@ let specialize_id_overloads instantiations id (Defs defs) = let initial_calls = ref (IdSet.of_list [ mk_id "main"; - mk_id "check_sat"; mk_id "__SetConfig"; mk_id "__ListConfig"; mk_id "execute"; |