mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
remove utf fixes #1265
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
cd24535e51
commit
95ee4c94f1
|
@ -1306,7 +1306,7 @@ namespace smt2 {
|
|||
|
||||
/**
|
||||
* SMT-LIB 2.6 pattern matches are of the form
|
||||
* (match t ((p1 t1) ˇˇˇ (pm+1 tm+1)))
|
||||
* (match t ((p1 t1) ... (pm+1 tm+1)))
|
||||
*/
|
||||
void push_match_frame() {
|
||||
SASSERT(curr_is_identifier());
|
||||
|
|
Loading…
Reference in a new issue