update parameter name

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 9, 2021 · 056135c · 056135c
1 parent 8cea101
commit 056135c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/regressions/smt2/issue-1224.smt2 b/regressions/smt2/issue-1224.smt2
@@ -1,11 +1,11 @@
 
-(set-option :unicode false)
+(set-option :encoding ascii)
 (declare-fun X () String)  
 (assert (not (str.in.re X (re.* (re.range "\u{0}" "\u{FF}")))))
 (check-sat)
 
 (reset)
-(set-option :unicode true)
+(set-option :encoding unicode)
 (declare-fun X () String)  
 (assert (not (str.in.re X (re.* (re.range "\u{0}" "\u{2FFFF}")))))
 (check-sat)