Merge pull request #1049 from MrBrain295/Double-quotes

Migrate to double quotes
2021-08-18 14:04:46 -05:00
parent 085c8bfbe3 196db84cb2
commit 19efb90c86
8 changed files with 8 additions and 8 deletions
--- a/k/Karel.kl
+++ b/k/Karel.kl
@@ -1,4 +1,4 @@
 PROGRAM hello_world
 BEGIN
-  WRITE('Hello World', CR)
+  WRITE("Hello World", CR)
 END hello_world