Merge pull request #3 from awwaiid/undeprecate-defaultsymbolfactory

Remove deprecation warning for DefaultSymbolFactory
nmacedo · Apr 16, 2024 · 2a98397 · 2a98397
2 parents 7ed4a52 + ee50426
commit 2a98397
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/org.alloytools.alloy.core/src/main/java/java_cup/runtime/DefaultSymbolFactory.java b/org.alloytools.alloy.core/src/main/java/java_cup/runtime/DefaultSymbolFactory.java
@@ -21,10 +21,7 @@ public class DefaultSymbolFactory implements SymbolFactory {
      * ComplexSymbolFactory instead, since it offers more detailed information about
      * Symbols in source code. Yet since migrating has always been a critical
      * process, You have the chance of still using the oldstyle Symbols.
-     *
-     * @deprecated as of CUP v11a replaced by the new runtime.ComplexSymbolFactory
      */
-    // @deprecated
     @Deprecated
     public DefaultSymbolFactory() {}