Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision ef22ad65ff9727de264304f61406d2505d5d7d45)
+++ src/ResolvExpr/Unify.cc	(revision 3315e3d151f62c12e3bb7b23991bd1b8df29dfbc)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:27:10 2015
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Mon Jun 18 11:58:00 2018
-// Update Count     : 43
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Sep  4 10:00:00 2019
+// Update Count     : 44
 //
 
@@ -278,5 +278,5 @@
 #endif
 			if ( ( common = commonType( type1, type2, widen.first, widen.second, indexer, env, openVars ) ) ) {
-				common->get_qualifiers() = tq1 | tq2;
+				common->tq = tq1.unify( tq2 );
 #ifdef DEBUG
 				std::cerr << "unifyInexact: common type is ";
@@ -295,5 +295,5 @@
 				if ( ( tq1 > tq2 || widen.first ) && ( tq2 > tq1 || widen.second ) ) {
 					common = type1->clone();
-					common->get_qualifiers() = tq1 | tq2;
+					common->tq = tq1.unify( tq2 );
 					result = true;
 				} else {
@@ -302,5 +302,5 @@
 			} else {
 				common = type1->clone();
-				common->get_qualifiers() = tq1 | tq2;
+				common->tq = tq1.unify( tq2 );
 				result = true;
 			} // if
Index: src/SynTree/Type.h
===================================================================
--- src/SynTree/Type.h	(revision ef22ad65ff9727de264304f61406d2505d5d7d45)
+++ src/SynTree/Type.h	(revision 3315e3d151f62c12e3bb7b23991bd1b8df29dfbc)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 14 17:11:24 2019
-// Update Count     : 169
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Sep  4 09:58:00 2019
+// Update Count     : 170
 //
 
@@ -131,4 +131,10 @@
 	 	bool operator>( Qualifiers other ) const { return *this != other && *this >= other; }
 		BFCommon( Qualifiers, NumTypeQualifier )
+
+		Qualifiers unify( Qualifiers const & other ) const {
+			int or_flags = Mask & (val | other.val);
+			int and_flags = val & other.val;
+			return Qualifiers( or_flags | and_flags );
+		}
 	}; // Qualifiers