← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/IntWeight.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/IntWeight.java
21
21
        @Override
22
22
        public String toString() {
23
23
                if(value > 1){
24
 
                        return Integer.toString(value) + "x";
 
24
                        return value + "x";
25
25
                } else {
26
26
                        return "";
27
27
                }