Skip to content
Snippets Groups Projects
Commit a87f7c48 authored by dgelessus's avatar dgelessus
Browse files

Remove another no longer needed clone cast

parent e9d98c4e
No related branches found
No related tags found
No related merge requests found
...@@ -310,7 +310,7 @@ public class Inlining ...@@ -310,7 +310,7 @@ public class Inlining
@Override @Override
public void caseANewTerm(ANewTerm node) public void caseANewTerm(ANewTerm node)
{ {
node_.replaceBy( new ANewListTerm( (AProdName)node.getProdName().clone(), node_.replaceBy( new ANewListTerm( node.getProdName().clone(),
node.getLPar().clone(), node.getLPar().clone(),
cloneList(node.getParams()) cloneList(node.getParams())
) )
...@@ -324,7 +324,7 @@ public class Inlining ...@@ -324,7 +324,7 @@ public class Inlining
TId simpleTermTail = null; TId simpleTermTail = null;
if(node.getSpecifier() != null) if(node.getSpecifier() != null)
{ {
specifier = (PSpecifier)node.getSpecifier().clone(); specifier = node.getSpecifier().clone();
} }
if(node.getSimpleTermTail() != null) if(node.getSimpleTermTail() != null)
{ {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment