1 files changed, 0 insertions, 7 deletions
diff --git a/gfsm/gfsm/src/libgfsm/tests/ortest.c b/gfsm/gfsm/src/libgfsm/tests/ortest.c
deleted file mode 100644
index 8327e0b..0000000
--- a/gfsm/gfsm/src/libgfsm/tests/ortest.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdio.h>
-int main(void) {
-  int x=0, y=-1;
-  int z = x||y;
-  printf("x||y=%d\n", z);
-  return 0;
-}