diff --git a/src/fr/inrialpes/exmo/align/impl/Annotations.java b/src/fr/inrialpes/exmo/align/impl/Annotations.java index 08f33b04fe47016c93fcc785fd3299a95d29c020..5c99b4c8fd5b3f0cb350abd66909b95ea93b9a53 100644 --- a/src/fr/inrialpes/exmo/align/impl/Annotations.java +++ b/src/fr/inrialpes/exmo/align/impl/Annotations.java @@ -28,6 +28,6 @@ public class Annotations { public static String ID = "id"; /* Set to true for rejecting the use of deprecated (non deterministic) primitives */ - protected static boolean STRICT_IMPLEMENTATION = false; + public static boolean STRICT_IMPLEMENTATION = false; }