aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/p2.tfst
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/p2.tfst')
-rw-r--r--gfsm/gfsm/src/programs/p2.tfst3
1 files changed, 0 insertions, 3 deletions
diff --git a/gfsm/gfsm/src/programs/p2.tfst b/gfsm/gfsm/src/programs/p2.tfst
deleted file mode 100644
index f8fd663..0000000
--- a/gfsm/gfsm/src/programs/p2.tfst
+++ /dev/null
@@ -1,3 +0,0 @@
-0 1 4 4
-0 1 5 5
-1