From 540416be3aba5ccc7dbbfc8aad19e4af0052ecd7 Mon Sep 17 00:00:00 2001 From: PieterOlivier <103408614+PieterOlivier@users.noreply.github.com> Date: Tue, 17 Dec 2024 21:34:36 +0100 Subject: [PATCH] Replaced `==` with `equals` on two String objects (#2102) --- src/org/rascalmpl/values/parsetrees/TreeAdapter.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/org/rascalmpl/values/parsetrees/TreeAdapter.java b/src/org/rascalmpl/values/parsetrees/TreeAdapter.java index 4ab329a2a92..ce8b20943d6 100644 --- a/src/org/rascalmpl/values/parsetrees/TreeAdapter.java +++ b/src/org/rascalmpl/values/parsetrees/TreeAdapter.java @@ -941,9 +941,9 @@ public static IList searchCategory(ITree tree, String category) { IListWriter writer = ValueFactoryFactory.getValueFactory().listWriter(); if (isAppl(tree)) { String s = ProductionAdapter.getCategory(getProduction(tree)); - if (s == category) + if (s.equals(category)) { writer.append(tree); - else { + } else { IList z = getArgs(tree); for (IValue q : z) { if (!(q instanceof IConstructor))