Fix quotes in JSON (#8)

runtimeverification · Aug 30, 2024 · e6e4948 · e6e4948
1 parent bfe271a
commit e6e4948
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/funding.json b/funding.json
@@ -1,5 +1,5 @@
 {
-  “opRetro”: {
-    “projectId”: “0x80393c05d524b7a6f7a78b0c141eadf0759642ae8d7e718134318cd2d73d5464”
+  "opRetro": {
+    "projectId": "0x80393c05d524b7a6f7a78b0c141eadf0759642ae8d7e718134318cd2d73d5464"
   }
 }