diff options
Diffstat (limited to 'src/constraint.mli')
| -rw-r--r-- | src/constraint.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constraint.mli b/src/constraint.mli index e86c764a..fb6e0fcd 100644 --- a/src/constraint.mli +++ b/src/constraint.mli @@ -63,4 +63,4 @@ val save_digests : unit -> unit val call_smt : l -> kind_aux KBindings.t -> n_constraint -> smt_result -val solve_smt : l -> kind_aux KBindings.t -> n_constraint -> kid -> Big_int.num option +val solve_unique_smt : l -> kind_aux KBindings.t -> n_constraint -> kid -> Big_int.num option |