Update properties.mo

removing assert
icdevsorg · Jul 7, 2022 · b3e83cb · b3e83cb
1 parent 5cbdf88
commit b3e83cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/properties.mo b/src/properties.mo
@@ -194,7 +194,7 @@ module {
                 };
                 case(_){
 
-                    assert(false);
+                    //assert(false);
                     //unreachable
                     return null;
                 }
@@ -369,4 +369,4 @@ module {
         //
         ///////////////////////////////////
 
-}
+}