From d5f135c4325772297fd49e24b22a0984044c6eb4 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 19 Dec 2012 04:37:32 +0000
Subject: [PATCH] More new ML API.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/ml/z3.ml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml
index 705f9a3e7..61ac503a0 100644
--- a/src/api/ml/z3.ml
+++ b/src/api/ml/z3.ml
@@ -1,3 +1,4 @@
+<<<<<<< HEAD
 (* File generated from z3.idl *)
 
 type context
@@ -3383,3 +3384,16 @@ let set_new_relevant_callback th cb =
 
 end
 
+=======
+(* 
+   Author: CM Wintersteiger
+   (C) Microsoft Research, 2012
+*)
+
+open Z3enums
+open Z3native
+
+module Z3 = struct
+
+end
+>>>>>>> More new ML API.