Put @options annotation back into GlobalSettings

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
hernanponcedeleon · Jan 18, 2024 · 888e77e · 888e77e
1 parent 1793a0c
commit 888e77e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/GlobalSettings.java b/dartagnan/src/main/java/com/dat3m/dartagnan/GlobalSettings.java
@@ -5,11 +5,13 @@
 import org.apache.logging.log4j.Logger;
 import org.sosy_lab.common.configuration.Configuration;
 import org.sosy_lab.common.configuration.InvalidConfigurationException;
+import org.sosy_lab.common.configuration.Options;
 
 import java.io.IOException;
 import java.nio.file.Files;
 import java.nio.file.Paths;
 
+@Options
 public class GlobalSettings {
 
     private static final Logger logger = LogManager.getLogger(GlobalSettings.class);