Index: tests/.expect/forall.txt
===================================================================
--- tests/.expect/forall.txt	(revision 49a1684c699b9f53c3cd9726cf01927c9d596a44)
+++ tests/.expect/forall.txt	(revision 39d9b32f770650c1bb18947e20df109b1f396890)
@@ -1,1 +1,1 @@
-forall.cfa:242:25: warning: Compiled
+forall.cfa:244:25: warning: Compiled
Index: tests/forall.cfa
===================================================================
--- tests/forall.cfa	(revision 49a1684c699b9f53c3cd9726cf01927c9d596a44)
+++ tests/forall.cfa	(revision 39d9b32f770650c1bb18947e20df109b1f396890)
@@ -1,10 +1,10 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// forall.cfa -- 
-// 
+//
+// forall.cfa --
+//
 // Author           : Peter A. Buhr
 // Created On       : Wed May  9 08:48:15 2018
@@ -12,5 +12,5 @@
 // Last Modified On : Sat Jun  5 10:06:08 2021
 // Update Count     : 36
-// 
+//
 
 void g1() {
@@ -172,5 +172,5 @@
 }
 
-forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } ) 
+forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } )
 struct XW { T t; };
 XW(int,int) xww;