Other changes

[IRC.git] / Robust / src / IR / Tree / FileNode.java

diff --git a/Robust/src/IR/Tree/FileNode.java b/Robust/src/IR/Tree/FileNode.java
index ddbf500d93e022f83b99988038c2a28f1cc3c9d3..c305822dbb762f2d80271d378872cadee2bd0b0d 100644 (file)
--- a/Robust/src/IR/Tree/FileNode.java
+++ b/Robust/src/IR/Tree/FileNode.java
@@ -12,11 +12,11 @@ class FileNode extends TreeNode {
        type_decls.add(tdn);
     }
 
-    public String printNode() {
+    public String printNode(int indent) {
        String st="";
        for(int i=0;i<type_decls.size();i++) {
            ClassNode cn=(ClassNode) type_decls.get(i);
-           st+=cn.printNode();
+           st+=cn.printNode(indent);
 
        }
        return st;