From 73666af4a4656d532dac52b768675bcd09740228 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 22 Jun 2014 10:01:51 -0700
Subject: [PATCH] fix(library/register_module): missing open_unifier

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/register_module.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/library/register_module.h b/src/library/register_module.h
index a90fa9234..18d491ca5 100644
--- a/src/library/register_module.h
+++ b/src/library/register_module.h
@@ -13,6 +13,7 @@ Author: Leonardo de Moura
 #include "library/placeholder.h"
 #include "library/aliases.h"
 #include "library/choice.h"
+#include "library/unifier.h"
 #include "library/scoped_ext.h"
 // #include "library/hop_match.h"
 
@@ -26,6 +27,7 @@ inline void open_core_module(lua_State * L) {
     open_aliases(L);
     open_choice(L);
     open_scoped_ext(L);
+    open_unifier(L);
     // open_hop_match(L);
 }
 inline void register_core_module() {