Remove merklet from header file too.

This commit is contained in:
Mark Allen 2015-11-20 22:34:41 -06:00
parent a5a0369905
commit 1f56850c2b

View file

@ -14,7 +14,7 @@
-record(mt, {
filename :: string(),
tree :: #naive{}|merklet:tree(),
backend = 'merklet' :: 'naive'|'merklet'
tree :: #naive{},
backend = 'naive' :: 'naive'
}).