lint: trimmed whitespace

open-goal · Jul 28, 2024 · cf1c99a · cf1c99a
1 parent 98b7a88
commit cf1c99a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/goal_src/goal-lib.gc b/goal_src/goal-lib.gc
@@ -411,7 +411,7 @@
           (set! unrolled-body (cons `(1+! ,index-var) unrolled-body))
         )
 
-        ;; Only append the temporary index increment if we aren't fully unrolling 
+        ;; Only append the temporary index increment if we aren't fully unrolling
         ;; or if the limit could be dynamic
         (when (and (eq? index-var '_)
                    (or (not (integer? limit))
@@ -434,7 +434,7 @@
           (if (eq? unroll limit)
               ;; Don't need any loop constructs or index variables when fully unrolling
               `(begin ,@unrolled-body)
-        
+
               `(let ((,temp-index-var 0))
                  (while (< ,temp-index-var ,limit) :label ,label
                    (block ,continue-label
@@ -448,7 +448,7 @@
            ,@(if (eq? unroll limit)
                   ;; Don't need any loop constructs when fully unrolling
                   unrolled-body
-              
+
                  (list `(while (< ,index-var ,limit) :label ,label
                          (block ,continue-label
                            ,@unrolled-body)