1 files changed, 0 insertions, 13 deletions
diff --git a/test/littlesemantics/main.c b/test/littlesemantics/main.c
deleted file mode 100644
index 5749cb25..00000000
--- a/test/littlesemantics/main.c
+++ /dev/null
@@ -1,13 +0,0 @@
-#include <stdio.h>
-#include "little.h"
-
-main() {
-  term *t;
-  t = variable("a");
-
-  if(NULL == t) {
-    printf("call to a term constructor returns a NULL pointer");
-  } else {
-    printf("a variable whose name is %s\n", t->term_body.string_val);
-  }
-}