From d97f800390ac7e8030713ded2eec16a484bdef9e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Nov 2017 10:02:59 -0800
Subject: [PATCH] update error code
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/api/api_parsers.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/api/api_parsers.cpp b/src/api/api_parsers.cpp
index 7641bd7c6..8613d07e7 100644
--- a/src/api/api_parsers.cpp
+++ b/src/api/api_parsers.cpp
@@ -315,7 +315,7 @@ extern "C" {
LOG_Z3_parse_smtlib2_string(c, file_name, num_sorts, sort_names, sorts, num_decls, decl_names, decls);
std::ifstream is(file_name);
if (!is) {
- SET_ERROR_CODE(Z3_PARSER_ERROR);
+ SET_ERROR_CODE(Z3_FILE_ACCESS_ERROR);
return 0;
}
Z3_ast_vector r = parse_smtlib2_stream(false, c, is, num_sorts, sort_names, sorts, num_decls, decl_names, decls);