Merge branch 'main' of github.com:cmsc430/www into main

dvanhorn · dvanhorn · commit 880a50d214d8 · 2022-09-30T14:16:40.000-04:00
diff --git a/langs/a86/ast.rkt b/langs/a86/ast.rkt
@@ -179,6 +179,7 @@
 
 (define (label? x)
   (and (symbol? x)
+       (nasm-label? x)
        (not (register? x))))
 
 (define (instruction? x)
