Commit 949f7c19 authored by Daniel Salzman's avatar Daniel Salzman

Adapt to trie API change

parent 09ddfdf2