Fix compilation error for GPR#238 merge

master
Mark Shinwell 2015-10-26 10:41:53 +00:00
parent f6538a8abe
commit 4b4d8a150a
1 changed files with 0 additions and 3 deletions

View File

@ -418,9 +418,6 @@ let get_next = function
| Empty -> assert false
| Cons tables -> tables.next
let empty_tables () =
Cons {key = Obj.magic 0; data = Empty; next = Empty}
let build_path n keys tables =
let res = Cons {key = Obj.magic 0; data = Empty; next = Empty} in
let r = ref res in