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