From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 26 Apr 2013 14:55:55 +0000 (+0200)
Subject: Remove the 'round' counter from the hashconsed configurations.
X-Git-Tag: v0.1~82
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e3474bb976d161aa5c42f3d42583bbe290bbfcc4;hp=e3474bb976d161aa5c42f3d42583bbe290bbfcc4

Remove the 'round' counter from the hashconsed configurations.
---