makefile fix and table with results so far added to ex3

[tt2015.git] / a4 / code / sut / learnlib_dot2jtorx_aut.py

diff --git a/a4/code/sut/learnlib_dot2jtorx_aut.py b/a4/code/sut/learnlib_dot2jtorx_aut.py
old mode 100755 (executable)
new mode 100644 (file)