summaryrefslogtreecommitdiff
path: root/Jennisys/Jennisys/SymGen.fs
diff options
context:
space:
mode:
Diffstat (limited to 'Jennisys/Jennisys/SymGen.fs')
-rw-r--r--Jennisys/Jennisys/SymGen.fs9
1 files changed, 0 insertions, 9 deletions
diff --git a/Jennisys/Jennisys/SymGen.fs b/Jennisys/Jennisys/SymGen.fs
deleted file mode 100644
index b736ef31..00000000
--- a/Jennisys/Jennisys/SymGen.fs
+++ /dev/null
@@ -1,9 +0,0 @@
-module SymGen
-
-let incr =
- let counter = ref 0
- fun () ->
- counter := !counter + 1
- !counter
-
-let NewSymFake expr = sprintf "x_%d" (incr()) \ No newline at end of file