Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
6 lines (5 sloc) 132 Bytes
let counter = ref 0
let unique_id s =
let id = String.concat "" [s; (BatString.of_int (!counter))] in
incr counter;
id