Index: libcfa/src/rational.hfa
===================================================================
--- libcfa/src/rational.hfa	(revision 62595b317d91621c45c86d153903de6fc99feeeb)
+++ libcfa/src/rational.hfa	(revision 44e2a5aa5a96f0c9166e589208d96cb745e8c930)
@@ -12,6 +12,6 @@
 // Created On       : Wed Apr  6 17:56:25 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Oct  6 07:52:20 2023
-// Update Count     : 122
+// Last Modified On : Fri Nov  8 17:02:09 2024
+// Update Count     : 126
 //
 
@@ -23,9 +23,11 @@
 // implementation
 
-forall( T | arithmetic( T ) ) {
+forall( T ) {
 	struct rational {
 		T numerator, denominator;						// invariant: denominator > 0
 	}; // rational
+}
 
+forall( T | arithmetic( T ) ) {
 	// constructors