From ea8ef3edf85e99c36d3e533f364f4d021c43051c Mon Sep 17 00:00:00 2001 From: philzook58 Date: Thu, 3 Oct 2019 20:00:12 -0400 Subject: [PATCH] edited error message string --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 89da9f85f..b4e35c6b3 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -1547,7 +1547,7 @@ struct let get_const_interp (x:model) (f:func_decl) = if FuncDecl.get_arity f <> 0 then - raise (Error "Non-zero arity functions and arrays have FunctionInterpretations as a model. Use FuncInterp.") + raise (Error "Non-zero arity functions have FunctionInterpretations as a model. Use FuncInterp.") else let np = Z3native.model_get_const_interp (gc x) x f in if Z3native.is_null_ast np then