404     }

   404     }

   405 

   405 

   406     public JCTree visitOther(Tree node, P p) {

   406     public JCTree visitOther(Tree node, P p) {

   407         JCTree tree = (JCTree) node;

   407         JCTree tree = (JCTree) node;

   408         switch (tree.getTag()) {

   408         switch (tree.getTag()) {

   410                 LetExpr t = (LetExpr) node;

   410                 LetExpr t = (LetExpr) node;

   411                 List<JCVariableDecl> defs = copy(t.defs, p);

   411                 List<JCVariableDecl> defs = copy(t.defs, p);

   412                 JCTree expr = copy(t.expr, p);

   412                 JCTree expr = copy(t.expr, p);

   413                 return M.at(t.pos).LetExpr(defs, expr);

   413                 return M.at(t.pos).LetExpr(defs, expr);

   414             }

   414             }