b2e712c Disable dangerous code in src/type/type.ml that leads to segfaults.

Authored and Committed by Jerry James 11 years ago
    Disable dangerous code in src/type/type.ml that leads to segfaults.
    
        
file removed
-11
file modified
+79 -15
file modified
+13 -14