diff --git a/Makefile.am b/Makefile.am index 35ae5c0..dbb76a0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -145,6 +145,7 @@ tock_SOURCES_hs += frontends/RainPasses.hs tock_SOURCES_hs += frontends/RainTypes.hs tock_SOURCES_hs += frontends/StructureOccam.hs tock_SOURCES_hs += frontends/TypeUnification.hs +tock_SOURCES_hs += frontends/UnifyType.hs tock_SOURCES_hs += pass/Pass.hs tock_SOURCES_hs += pass/PassList.hs tock_SOURCES_hs += pass/Properties.hs