summaryrefslogtreecommitdiff
path: root/lib/pubcode
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-12-12 08:18:27 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2019-12-12 08:18:27 +0100
commit575a33b819d29ee99fa7d4264a943043d1d64032 (patch)
treefeb2d5ee1c7c1f3d6bf86d3a04b9265b5d73f974 /lib/pubcode
parent7c9149430a5830ce5a2daedad76ae16e4c9c2ec9 (diff)
PTA.simulate: orig_state may also be a State
Diffstat (limited to 'lib/pubcode')
0 files changed, 0 insertions, 0 deletions