1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index 70712ff..608f073 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -2428,9 +2428,9 @@
       "version": "v0.4.17"
     },
     "synthv1": {
-      "version": "v1.1.2",
-      "gitref": "refs/tags/v1.1.2",
-      "revision": "a15062b9d45547dee63cb408fc31f9542456c5c3"
+      "version": "v1.1.3",
+      "gitref": "refs/tags/v1.1.3",
+      "revision": "0c39ab63930b61f9859213fccf3ee9e162b602e8"
     },
     "t1utils": {
       "version": "v1.42"