PAN-52 Fixed issue with the Theorems API

2019-03-21 11:20:52 -06:00
parent d0cde837e9
commit c9a2a978fc
6 changed files with 29 additions and 7 deletions
@@ -38,6 +38,7 @@ CREATE TABLE proofs
 (
  id        INT NOT NULL AUTO_INCREMENT,
  theorem_name      VARCHAR(512) NOT NULL,
+  proof VARCHAR(4096) NOT NULL,
  branch    VARCHAR(512) NOT NULL,
  theorem   INT NOT NULL,
  FOREIGN KEY fk_theorem (theorem) REFERENCES theorems (id) ON DELETE NO ACTION ON UPDATE NO ACTION,