PAN-52 Fixed issue with the Theorems API

2019-03-21 11:29:30 -06:00
parent c9a2a978fc
commit f5dbdac990
4 changed files with 6 additions and 1 deletions
@@ -41,7 +41,6 @@ CREATE TABLE proofs
  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,
  referenced_definitions JSON,
  referenced_theorems JSON,
  date_added DATE,