diff --git a/src/main/java/TP2/Error/TypeChecking.java b/src/main/java/TP2/Error/TypeChecking.java
index 7015a32..49d91ea 100644
--- a/src/main/java/TP2/Error/TypeChecking.java
+++ b/src/main/java/TP2/Error/TypeChecking.java
@@ -1,5 +1,8 @@
 package TP2.Error;
 
+import TP2.asd.SymTable;
+
 public class TypeChecking {
+    private SymTable st;
     
 }
diff --git a/src/main/java/TP2/asd/SymTable.java b/src/main/java/TP2/asd/SymTable.java
index 01bdc3c..f903b48 100644
--- a/src/main/java/TP2/asd/SymTable.java
+++ b/src/main/java/TP2/asd/SymTable.java
@@ -1,7 +1,5 @@
 package TP2.asd;
 import java.util.Stack;
-
-
 import org.pcollections.*;
 import TP2.asd.Interface.Type;
 import TP2.asd.Program.Type_intImp;
@@ -25,7 +23,6 @@ public class SymTable {
             this.symTable = symTable;
             this.var = var;
         }
-
     }
 
     private PStack<PMap<String,ValueTable>> stackMap;
@@ -55,14 +52,6 @@ public class SymTable {
         return stackMap.plus(HashTreePMap.empty());
     }
 
-    public void quit_layer() throws Exception{
-        if(stackMap.isEmpty()){
-            throw new Exception();
-        }
-        stackMap.minus(stackMap.indexOf(stackMap.getLast()));
-    }
-
-
     public PMap<String,ValueTable> peppapeek(){
         if(stackMap.isEmpty()){
             System.out.println("TEST...............................");