https://svn.lrde.epita.fr/svn/oln/trunk/metalic Index: ChangeLog from Thierry Geraud &lt;theo(a)lrde.epita.fr&gt; Tiny fix. * mlc/logic.hh: Fix missing include. logic.hh | 1 + 1 files changed, 1 insertion(+) Index: mlc/logic.hh --- mlc/logic.hh (revision 432) +++ mlc/logic.hh (working copy) @@ -28,6 +28,7 @@ #ifndef METALIC_LOGIC_HH # define METALIC_LOGIC_HH +# include <mlc/bool.hh> # include <mlc/bexpr.hh> # include <mlc/assert.hh>