Browse Source

Merge pull request #650 from Demonthos/fix-non-unicode-characters

Jon Kelley 2 years ago
parent
commit
4a3c7aae18
1 changed files with 1 additions and 1 deletions
  1. 1 1
      packages/interpreter/Cargo.toml

+ 1 - 1
packages/interpreter/Cargo.toml

@@ -17,7 +17,7 @@ keywords = ["dom", "ui", "gui", "react", "wasm"]
 wasm-bindgen = { version = "0.2.79", optional = true }
 js-sys = { version = "0.3.56", optional = true }
 web-sys = { version = "0.3.56", optional = true, features = ["Element", "Node"] }
-sledgehammer_bindgen = { version = "0.1.2", optional = true }
+sledgehammer_bindgen = { version = "0.1.3", optional = true }
 sledgehammer_utils = { version = "0.1.0", optional = true }
 
 [features]