Merge pull request #176 from siadat/sina/add-missing-paren

IUCompilerCourse · Nov 22, 2024 · 8bb57d0 · 8bb57d0
2 parents 3a2d4d6 + b44cf2d
commit 8bb57d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book.tex b/book.tex
@@ -1328,7 +1328,7 @@ \section{Recursive Functions}
     [(Program '() e) (is_exp e)]
     [else #f]))
 
-(is_Lint (Program '() ast1_1)
+(is_Lint (Program '() ast1_1))
 (is_Lint (Program '()
        (Prim '* (list (Prim 'read '())
                       (Prim '+ (list (Int 8)))))))