← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/net/tapaal/TAPAAL.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/net/tapaal/TAPAAL.java
29
29
import pipe.dataLayer.TAPNQuery;
30
30
import pipe.gui.CreateGui;
31
31
import dk.aau.cs.debug.Logger;
32
 
import pipe.gui.GuiFrame;
33
32
import pipe.gui.Verifier;
34
33
 
35
34
/**
70
69
                        Logger.enableLogging(true);
71
70
                }
72
71
 
73
 
                if (TAPAAL.VERSION == "DEV"){
 
72
                if (TAPAAL.VERSION.equals("DEV")){
74
73
                        Logger.enableLogging(true);
75
74
                        Logger.log("Debug logging is enabled by default in DEV branch");
76
75
                }