From 2680b07add833e45b3a7fce434dc28fc53444817 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 29 Nov 2019 12:26:26 -0600
Subject: [PATCH] Update dependencies (#580)

* web3: add JSON-RPC_putResponseError

* deps/plugin: update submodule
---
 deps/plugin | 2 +-
 web3.md     | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/deps/plugin b/deps/plugin
index 5f0f8962b1..fb108c4e16 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit 5f0f8962b1d51a9ce3b5312fd5ef8b8aafd186ab
+Subproject commit fb108c4e16b1899d37d072dc50639b7b0875a2a4
diff --git a/web3.md b/web3.md
index f3c54f1b35..56b550fb18 100644
--- 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>