fix truncating common prefix for generated names (Closes #7)
commita62545b78e7ca245e7460c8a033b344c8a829446
authorygrek <ygrek@autistici.org>
Mon, 2 Jun 2014 11:06:40 +0000 (2 19:06 +0800)
committerygrek <ygrek@autistici.org>
Mon, 2 Jun 2014 11:09:23 +0000 (2 19:09 +0800)
treef1a6b47b788a248885ea27c3a344892e708d1080
parentf6cc1cb3ad092b76bd50d5d20fd20d4648b78b84
fix truncating common prefix for generated names (Closes #7)
src/main.ml