mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
parent
e8a9e1a58b
commit
a875d3e491
|
@ -1994,7 +1994,7 @@ struct
|
|||
if csn <> cs || cdn <> cd then
|
||||
raise (Error "Argument size mismatch")
|
||||
else
|
||||
Z3native.parse_smtlib2_string ctx file_name
|
||||
Z3native.parse_smtlib2_file ctx file_name
|
||||
cs sort_names sorts cd decl_names decls
|
||||
end
|
||||
|
||||
|
|
Loading…
Reference in a new issue