Revert "Revert "Migrate to double quotes" (#1168)" (#1169)

This reverts commit 5082129387.
2021-11-07 14:34:25 -06:00
parent 5082129387
commit 1eb72bf28c
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