From 5f68f4d49c7a779b1cf64cbb85eeb67ca1847ba2 Mon Sep 17 00:00:00 2001
From: Paul Bouchon <mail@bitpshr.net>
Date: Wed, 18 Jul 2018 10:00:36 -0400
Subject: [PATCH] Automatically merged updates to draft EIP(s) 712

Hi, I'm a bot! This change was automatically merged because:

 - It only modifies existing Draft or Last Call EIP(s)
 - The PR was approved or written by at least one author of each modified EIP
 - The build is passing
---
 EIPS/eip-712.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/EIPS/eip-712.md b/EIPS/eip-712.md
index eb42486b..f9cdb936 100644
--- a/EIPS/eip-712.md
+++ b/EIPS/eip-712.md
@@ -215,6 +215,9 @@ Typed data is a JSON object containing type information, domain seprator paramet
   properties: {
     types: {
       type: 'object',
+      properties: {
+        EIP712Domain: {type: 'array'},
+      },
       additionalProperties: {
         type: 'array',
         items: {
@@ -225,12 +228,14 @@ Typed data is a JSON object containing type information, domain seprator paramet
           },
           required: ['name', 'type']
         }
-      }
+      },
+      required: ['EIP712Domain']
     },
     primaryType: {type: 'string'},
     domain: {type: 'object'},
     message: {type: 'object'}
-  }
+  },
+  required: ['types', 'primaryType', 'domain', 'message']
 }
 ```