PAN-52 Fixed issue with the Theorems API

2019-03-21 10:39:24 -06:00
parent 1e15082fcc
commit ba4c7502db
3 changed files with 3 additions and 0 deletions
@@ -26,6 +26,7 @@ version int default 1
 create table theorems (
 id int not null auto_increment primary key unique,
 name varchar(512) not null,
+theorem varchar(1024) not null,
 theorem_type enum ('THEOREM', 'PROPOSITION', 'LEMMA', 'COROLLARY') not null,
 branch varchar(512) not null,
 referenced_definitions json,