From 075f1e998fe2312fe1c093168a9928adc9e977f6 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Thu, 9 May 2024 08:02:44 -0700
Subject: [PATCH] Update regex terminals to match new syntax (#627)

* Update regex to match new syntax

* Set Version: 0.1.47

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 package/version                                       | 2 +-
 pykwasm/pyproject.toml                                | 2 +-
 pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/package/version b/package/version
index 79e0dd8a4..9506d143f 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.46
+0.1.47
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 9bce43593..89ac9d46f 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.46"
+version = "0.1.47"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md
index 57ec98a51..4d23c2dda 100644
--- a/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md
+++ b/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md
@@ -35,7 +35,7 @@ Note that you cannot use a normal K `String` in any production definitions, beca
 In WebAssembly, identifiers are defined by the regular expression below.
 
 ```k
-    syntax IdentifierToken ::= r"\\$[0-9a-zA-Z!$%&'*+/<>?_`|~=:\\@^.-]+" [token]
+    syntax IdentifierToken ::= r"\\$[0-9a-zA-Z!$%&'*+/<>?_`|~=:\\@\\^.\\-]+" [token]
  // ----------------------------------------------------------------------------
 ```
 
@@ -45,8 +45,8 @@ In WebAssembly, integers could be represented in either the decimal form or hexa
 In both cases, digits can optionally be separated by underscores.
 
 ```k
-    syntax WasmIntToken ::= r"[\\+-]?[0-9]+(_[0-9]+)*"               [token]
-                          | r"[\\+-]?0x[0-9a-fA-F]+(_[0-9a-fA-F]+)*" [token]
+    syntax WasmIntToken ::= r"[\\+\\-]?[0-9]+(_[0-9]+)*"               [token]
+                          | r"[\\+\\-]?0x[0-9a-fA-F]+(_[0-9a-fA-F]+)*" [token]
  // ------------------------------------------------------------------------
 ```