From daa24ef4ced30c2d9164c8907471cc49504fd0b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 21 Aug 2022 18:26:53 -0700
Subject: [PATCH] add missing error check

---
 src/api/js/src/high-level/high-level.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index 78012c502..662192bdd 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1015,6 +1015,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
 
       fromString(s : string) {
         Z3.solver_from_string(contextPtr, this.ptr, s);
+        throwIfError();
       }
     }