From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Wed, 12 Oct 2016 08:41:26 +0000 (+0200)
Subject: * Seal the representation of states
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=4f265eb7d78b740292b5543d94f9f0fa40d206d5;hp=4f265eb7d78b740292b5543d94f9f0fa40d206d5

* Seal the representation of states
* Compile with -principal -warning-error @3
---