#6456 - elaborate on error message

Z3Prover · Nov 20, 2022 · fcaa85d · fcaa85d
1 parent 86f3702
commit fcaa85d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/api_datatype.cpp b/src/api/api_datatype.cpp
@@ -105,7 +105,7 @@ extern "C" {
         symbol sname = to_symbol(name);
 
         if (mk_c(c)->get_dt_plugin()->is_declared(sname)) {
-            SET_ERROR_CODE(Z3_INVALID_ARG, nullptr);
+            SET_ERROR_CODE(Z3_INVALID_ARG, "enumeration sort name is already declared");
             RETURN_Z3(nullptr);
         }