From d094f6a856b8948d072405d7a5b2ce4cd52c87c9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 18 Aug 2022 13:00:46 -0700
Subject: [PATCH] fixing interface and test'

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/js/src/high-level/types.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index 838a6ef11..c27395d21 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -398,7 +398,7 @@ export interface Solver<Name extends string = 'main'> {
   add(...exprs: (Bool<Name> | AstVector<Name, Bool<Name>>)[]): void;
   addAndTrack(expr: Bool<Name>, constant: Bool<Name> | string): void;
   assertions(): AstVector<Name, Bool<Name>>;
-  from_string(s : string): void;
+  fromString(s : string): void;
   check(...exprs: (Bool<Name> | AstVector<Name, Bool<Name>>)[]): Promise<CheckSatResult>;
   model(): Model<Name>;
 }