From a965d65901ba6698f3ac13a8dbcb69d23f8b2610 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 19 Dec 2012 04:37:46 +0000 Subject: [PATCH] ML API temp files added to .gitignore Signed-off-by: Christoph M. Wintersteiger --- .gitignore | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 95c44e557..fccf9424d 100644 --- a/.gitignore +++ b/.gitignore @@ -65,7 +65,6 @@ src/util/version.h src/api/java/Native.cpp src/api/java/Native.java src/api/java/enumerations/*.java - *.bak doc/api doc/code @@ -74,3 +73,7 @@ src/api/ml/z3_native.ml src/api/ml/native.c src/api/ml/z3.ml src/api/ml/enumerations.ml +src/api/ml/z3native.c +src/api/ml/z3native.ml +src/api/ml/z3enums.ml +src/api/ml/z3.mllib