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();
       }
     }