diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 20:11:37 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 20:11:37 -0700 |
| commit | a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 (patch) | |
| tree | 2ef270417daae91ed3ed7ccb5074b6b7fb0f7097 /src/console.c | |
| parent | d201bf2bf253c80a8629f11e44da9daca67470aa (diff) | |
added contradiction introduction rule
Diffstat (limited to 'src/console.c')
| -rw-r--r-- | src/console.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/console.c b/src/console.c index 8d0cebb..221dfcd 100644 --- a/src/console.c +++ b/src/console.c @@ -89,6 +89,5 @@ void interact_selected() { else { lineCache.lines[selected].onInteract(); } - clear_screen(); draw_screen(); } |