diff options
Diffstat (limited to 'migrations')
| -rw-r--r-- | migrations/20240118234708_init_discocaml.sql | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/migrations/20240118234708_init_discocaml.sql b/migrations/20240118234708_init_discocaml.sql index adce26a..635be48 100644 --- a/migrations/20240118234708_init_discocaml.sql +++ b/migrations/20240118234708_init_discocaml.sql @@ -2,6 +2,6 @@ -- time. If we ever get theorem proving support, this'll probably need to be -- extended... That, or we just have another table for the context? CREATE TABLE IF NOT EXISTS discocaml_exprs - ( interaction_id INTEGER PRIMARY KEY - , expr TEXT NOT NULL + ( rowid INTEGER PRIMARY KEY + , expr TEXT NOT NULL ); |