|
@@ -265,6 +265,7 @@ def bootstrap():
|
|
|
md5.update(open(bootstrap_file, 'r').read())
|
|
|
f.write('Node hash_value("%s")\n' % md5.hexdigest(), both=False)
|
|
|
f.write("Edge _(elem, hash_value)\n", both=False)
|
|
|
+ f.write("Edge _(_, hash)\n", both=False)
|
|
|
#TODO add the symbols as well!
|
|
|
|
|
|
# Create code for initial user
|