get rid of isClassLibrary method

[IRC.git] / Robust / src / IR / TypeUtil.java

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 30c3c555072e875092e294edda90adc7b6200abc..ff37c5a8272183496db8b46f9875bdac9145d4d0 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -73,7 +73,6 @@ public class TypeUtil {
       //have to find class
       addNewClass(classname, todo);
       cd=(ClassDescriptor)state.getClassSymbolTable().get(classname);
-      cd.setClassLibrary();
       
       System.out.println("Build class:"+cd);
       todo.add(cd);