From 581e5d02b1936beaa3fb0aafb943b7d35ea3dbc2 Mon Sep 17 00:00:00 2001
From: nisstyre56 <wjak56@gmail.com>
Date: Sat, 29 Mar 2014 13:08:42 -0400
Subject: [PATCH] remove redundant file

---
 treegen.js | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 treegen.js

diff --git a/treegen.js b/treegen.js
deleted file mode 100644
index f85a2aa..0000000
--- a/treegen.js
+++ /dev/null
@@ -1,20 +0,0 @@
-#!  /usr/bin/node
-
-var parser = require("./parse.js");
-var pprint = require("./pprint.js");
-var repr = require("./representation.js");
-var lex = require("./tokenize.js");
-
-var qc = require("quickcheck");
-
-function arbIdentifier() {
-    var st = qc.arbString()
-    if (lex.isIdentifier(st)) {
-      return new repr.Name(st);
-    }
-    else {
-      return arbIdentifier();
-    }
-}
-
-console.log(arbIdentifier());