diff options
| author | Alasdair Armstrong | 2019-02-18 19:12:17 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-18 19:12:17 +0000 |
| commit | 66e6585b9696ffc91a8609e5d52bfe6d5adff1b6 (patch) | |
| tree | 10e1f73735d8b8500dd24539021e203d54e091d5 /src/constraint.ml | |
| parent | 9de3f45de277d8a8f264a425d9121fe91ad80345 (diff) | |
Rename Type_check.solve -> Type_check.solve_unique
Diffstat (limited to 'src/constraint.ml')
| -rw-r--r-- | src/constraint.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constraint.ml b/src/constraint.ml index 09091655..2c5150a5 100644 --- a/src/constraint.ml +++ b/src/constraint.ml @@ -321,7 +321,7 @@ let call_smt l vars constraints = Profile.finish_smt t; result -let rec solve_smt l vars constraints var = +let rec solve_unique_smt l vars constraints var = let smt_file, smt_var = smtlib_of_constraints ~get_model:true l vars constraints in let smt_var = pp_sexpr (smt_var var) in |