X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskTyCons.v;h=1eb479aaf2a769d050952f4ec8be65cbd5f05995;hp=617cd59e832e0046d881f83427657485ef1cdacc;hb=ac5be38aa368d0de91245ce717447c19c40937ca;hpb=4edce334b28e694c711dfb8e331d737bd0310fe2

diff --git a/src/HaskTyCons.v b/src/HaskTyCons.v
index 617cd59..1eb479a 100644
--- a/src/HaskTyCons.v
+++ b/src/HaskTyCons.v
@@ -29,4 +29,6 @@ Instance TyFunToLatex    : ToLatex  TyCon := { toLatex  := fun x => toLatex (toS
 Variable ModalBoxTyCon   : TyCon.        Extract Inlined Constant ModalBoxTyCon => "TysWiredIn.hetMetCodeTypeTyCon".
 Variable PairTyCon       : TyFun.        Extract Inlined Constant PairTyCon     => "TysWiredIn.pairTyCon".
 Variable UnitTyCon       : TyFun.        Extract Inlined Constant UnitTyCon     => "TysWiredIn.unitTyCon".
+Variable IntTyCon        : TyFun.        Extract Inlined Constant IntTyCon      => "TysWiredIn.intTyCon".
+Variable BoolTyCon       : TyFun.        Extract Inlined Constant BoolTyCon     => "TysWiredIn.boolTyCon".
 Variable ArrowTyCon      : TyCon.        Extract Constant ArrowTyCon    => "Type.funTyCon".