File tree Expand file tree Collapse file tree 3 files changed +0
-9
lines changed Expand file tree Collapse file tree 3 files changed +0
-9
lines changed Original file line number Diff line number Diff line change @@ -122,8 +122,6 @@ end = struct
122122
123123 include T
124124
125- let printer = Var_printer. create Var_printer.Alphabet. javascript
126-
127125 module Name = struct
128126 let names = Int.Hashtbl. create 100
129127
@@ -203,7 +201,6 @@ end = struct
203201
204202 let reset () =
205203 last_var := 0 ;
206- Var_printer. reset printer;
207204 Name. reset ()
208205
209206 let print f x =
Original file line number Diff line number Diff line change @@ -81,8 +81,4 @@ let to_string t i =
8181 in
8282 loop t i (t.last + 1 )
8383
84- let reset t =
85- Int.Hashtbl. clear t.known;
86- t.last < - - 1
87-
8884let create alphabet = { known = Int.Hashtbl. create 1001 ; alphabet; last = - 1 }
Original file line number Diff line number Diff line change 3131
3232val create : Alphabet .t -> t
3333
34- val reset : t -> unit
35-
3634val to_string : t -> int -> string
You can’t perform that action at this time.
0 commit comments