Changes in src/ResolvExpr/WidenMode.h [ee574a2:5bf3976]

File:

• src/ResolvExpr/WidenMode.h (modified) (2 diffs)

src/ResolvExpr/WidenMode.h

@@ -19 +19 @@
         struct WidenMode {
                 WidenMode( bool first, bool second ): first( first ), second( second ) {}
-                
+
                 WidenMode &operator|=( const WidenMode &other ) {
                         first |= other.first; second |= other.second; return *this;
@@ -35 +35 @@
                         WidenMode newWM( *this ); newWM &= other; return newWM;
                 }
-                
+
                 operator bool() { return first && second; }