From 92989ef553b5e6b5193207e4d89e2c249d7d0dcc Mon Sep 17 00:00:00 2001
From: Chris Vanderloo <chris.vanderloo@yahoo.com>
Date: Fri, 3 Apr 2020 11:51:13 -0400
Subject: [PATCH] EG format for proof at app level

---
 src/intro/CreateNew.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/intro/CreateNew.js b/src/intro/CreateNew.js
index 15a10d4..c63cdb1 100644
--- a/src/intro/CreateNew.js
+++ b/src/intro/CreateNew.js
@@ -58,6 +58,10 @@ class CreateNew extends React.Component {
     console.log("Verification concluded " + this.verify())
     if (this.verify()) {
       let { premises, conclusion } = this.state;
+      for (let i in premises) {
+        premises[i] = convertToEG(premises[i])
+      }
+      conclusion = convertToEG(conclusion)
       this.props.setupFunc(premises, conclusion)
     }
   }
-- 
2.51.2