vrepl: cleanup in vrepl.v

yuyi98 · Jul 9, 2024 · 6085c9e · 6085c9e
1 parent 66ea826
commit 6085c9e
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/cmd/tools/vrepl.v b/cmd/tools/vrepl.v
@@ -54,12 +54,6 @@ const possible_statement_patterns = [
 	'#include ',
 	'for ',
 	'or ',
-	'insert(',
-	'delete(',
-	'prepend(',
-	'sort(',
-	'clear(',
-	'trim(',
 	' as ',
 ]
 
@@ -508,9 +502,7 @@ fn run_repl(workdir string, vrepl_prefix string) int {
 					r.lines << r.line
 				}
 			} else {
-				for r.temp_lines.len > 0 {
-					r.temp_lines.delete(0)
-				}
+				r.temp_lines.clear()
 			}
 			if r.is_pin {
 				r.pin()