From 1931adcb74ee559cedd94fa6b68f106664e5ce90 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Thu, 13 Jul 2017 09:48:29 -0700
Subject: [PATCH] add a file

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/util/lp/antecedents.h | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/util/lp/antecedents.h

diff --git a/src/util/lp/antecedents.h b/src/util/lp/antecedents.h
new file mode 100644
index 000000000..e96c92614
--- /dev/null
+++ b/src/util/lp/antecedents.h
@@ -0,0 +1,10 @@
+/*
+  Copyright (c) 2017 Microsoft Corporation
+  Author: Lev Nachmanson
+*/
+#pragma once
+
+namespace lp {
+class antecedents {
+};
+}