From 9a1db8ef5d2d8c791ea499fae5a57f29416a3bcc Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <benjamin@barenblat.name>
Date: Fri, 19 Aug 2016 12:13:15 -0400
Subject: Move MDL classes into their own library

---
 main.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.ur')

diff --git a/main.ur b/main.ur
index 79e5f2b..970171e 100644
--- a/main.ur
+++ b/main.ur
@@ -12,7 +12,7 @@ under the License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR
 CONDITIONS OF ANY KIND, either express or implied.  See the License for the
 specific language governing permissions and limitations under the License. *)
 
-open Mdl
+open Mdl.Classes
 
 table nextAction : {
   Id : int,
-- 
cgit v1.2.3