diff --git a/persistence/scripts/mysql/local_development.sql b/persistence/scripts/mysql/local_development.sql
index 44f9fa6..0bb4f8f 100644
--- a/persistence/scripts/mysql/local_development.sql
+++ b/persistence/scripts/mysql/local_development.sql
@@ -27,7 +27,7 @@ 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,
+theorem_type varchar(20) not null,
 branch varchar(512) not null,
 referenced_definitions json,
 referenced_theorems json,