From adb9a1c7978d236ce1d177c775905079db681e96 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Jul 2018 17:31:26 -0700
Subject: [PATCH] fix c

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 examples/c/test_capi.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index a6937f293..14e403826 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -1754,7 +1754,6 @@ void parser_example5() {
     err:
         printf("Z3 error: %s.\n", Z3_get_error_msg(ctx, e));
         if (ctx != NULL) {
-            printf("Error message: '%s'.\n",Z3_get_parser_error(ctx));
 	    del_solver(ctx, s);
             Z3_del_context(ctx);
         }