diff options
Diffstat (limited to 'Jennisys/Jennisys/SymGen.fs')
-rw-r--r-- | Jennisys/Jennisys/SymGen.fs | 9 |
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 |