Update dependencies (#580)

* web3: add JSON-RPC_putResponseError * deps/plugin: update submodule
runtimeverification · Nov 29, 2019 · 2680b07 · 2680b07
1 parent 4a1a105
commit 2680b07
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/deps/plugin b/deps/plugin
diff --git a/web3.md b/web3.md
@@ -215,6 +215,9 @@ WEB3 JSON RPC
     syntax K ::= #putResponse(JSON, Int) [function, hook(JSON.write)]
  // -----------------------------------------------------------------
 
+    syntax IOJSON ::= #putResponseError ( JSON ) [klabel(JSON-RPC_putResponseError), symbol]
+ // ----------------------------------------------------------------------------------------
+
     syntax KItem ::= #loadRPCCall(IOJSON)
  // -------------------------------------
     rule <k> #loadRPCCall({ _ } #as J) => #checkRPCCall ~> #runRPCCall ... </k>