Index: src/Parser/TypedefTable.cc
===================================================================
--- src/Parser/TypedefTable.cc	(revision 8f91c9ae653becc480a5468076d7b70c65ab6483)
+++ src/Parser/TypedefTable.cc	(revision 79caea8a12eb28a0abbd4a77f0bc23d32d991168)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypedefTable.cc -- 
+// TypedefTable.cc --
 //
 // Author           : Peter A. Buhr
@@ -100,5 +100,5 @@
 void TypedefTable::up( bool forall ) {
 	level += 1;
-	kindTable.getNote( kindTable.currentScope() ) = (Note){ level, forall | getEnclForall() };
+	kindTable.getNote( kindTable.currentScope() ) = (Note){ level, static_cast<bool>(forall | getEnclForall()) };
 	debugPrint( cerr << "Up " << " level " << level << " note " << kindTable.getNote( level ).level << ", " << kindTable.getNote( level ).forall << endl; );
 } // TypedefTable::up