Changeset 44e2a5a

Timestamp:

Nov 8, 2024, 5:20:16 PM (2 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

74cbaa3

Parents:

62595b31

Message:

remove assertions from rational structure declaration

File:

• libcfa/src/rational.hfa (modified) (2 diffs)

libcfa/src/rational.hfa

@@ -12 +12 @@
 // 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 +23 @@
 // implementation
 
-forall( T | arithmetic( T ) ) {
+forall( T ) {
         struct rational {
                 T numerator, denominator;                                               // invariant: denominator > 0
         }; // rational
+}
 
+forall( T | arithmetic( T ) ) {
         // constructors