edited error message string

Z3Prover · Oct 4, 2019 · ea8ef3e · ea8ef3e
1 parent 0321312
commit ea8ef3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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