From a87f7c487c7d47b187fbe99b810cb52e2c7845c4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 6 Apr 2022 16:52:37 +0200
Subject: [PATCH] Remove another no longer needed clone cast
---
src/main/java/org/sablecc/sablecc/Inlining.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/org/sablecc/sablecc/Inlining.java b/src/main/java/org/sablecc/sablecc/Inlining.java
index 3229b30..185316b 100644
--- a/src/main/java/org/sablecc/sablecc/Inlining.java
+++ b/src/main/java/org/sablecc/sablecc/Inlining.java
@@ -310,7 +310,7 @@ public class Inlining
@Override
public void caseANewTerm(ANewTerm node)
{
- node_.replaceBy( new ANewListTerm( (AProdName)node.getProdName().clone(),
+ node_.replaceBy( new ANewListTerm( node.getProdName().clone(),
node.getLPar().clone(),
cloneList(node.getParams())
)
@@ -324,7 +324,7 @@ public class Inlining
TId simpleTermTail = null;
if(node.getSpecifier() != null)
{
- specifier = (PSpecifier)node.getSpecifier().clone();
+ specifier = node.getSpecifier().clone();
}
if(node.getSimpleTermTail() != null)
{
--
GitLab