diff options
Diffstat (limited to 'src/jib/jib_smt.ml')
| -rw-r--r-- | src/jib/jib_smt.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml index b03c1134..434ca8a9 100644 --- a/src/jib/jib_smt.ml +++ b/src/jib/jib_smt.ml @@ -118,7 +118,7 @@ let initial_ctx () = { tc_env = Type_check.initial_env; pragma_l = Parse_ast.Unknown; arg_stack = Stack.create (); - ast = Defs []; + ast = empty_ast; shared = Bindings.empty; preserved = IdSet.empty; events = ref EventMap.empty; |