From 4f0e8a1057069ffb3c34926faad1fe2b582052c0 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 16 Apr 2014 13:06:29 +0100
Subject: [PATCH] ML API refactoring (z3native.c -> z3native_stubs.c)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index fccf9424d..9c9707c4b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -74,6 +74,7 @@ src/api/ml/native.c
 src/api/ml/z3.ml
 src/api/ml/enumerations.ml
 src/api/ml/z3native.c
+src/api/ml/z3native_stubs.c
 src/api/ml/z3native.ml
 src/api/ml/z3enums.ml
 src/api/ml/z3.mllib