absyntax_utils/get_datatype_info.cc
changeset 946 c012a64dc2fa
parent 945 477393b00f95
child 958 7474d2cd1d6e
--- a/absyntax_utils/get_datatype_info.cc	Sun Nov 16 12:54:10 2014 +0000
+++ b/absyntax_utils/get_datatype_info.cc	Sun Nov 16 14:46:52 2014 +0000
@@ -43,7 +43,7 @@
  */
 #include "absyntax_utils.hh"
 
-#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.
+#include "../main.hh" // required for ERROR() and ERROR_MSG() macros, as well as the runtime_options global variable
 
 
 
@@ -576,14 +576,13 @@
   }
 
     // check for same datatype
-  if (first_type == second_type)                                       {return true;}
+  if (first_type == second_type)                                     {return true;}
   
     // remaining type equivalence rules are not applied in the strict datatype model
-  //if (!option...relaxed_datatypemodel)
-    //return false;
+  if (false == runtime_options.relaxed_datatype_model)               {return false;}
   
     // check for array equivalence usig the relaxed datatype model
-  if (is_arraytype_equal_relaxed(first_type, second_type))             {return true;}
+  if (is_arraytype_equal_relaxed(first_type, second_type))           {return true;}
 
   return false;
 }