From 80f2b70e787325de8f80463bf7693051371927f1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 26 Apr 2013 16:12:52 -0700 Subject: [PATCH] fix header information Signed-off-by: Nikolaj Bjorner --- src/muz_qe/clp_context.cpp | 6 +++--- src/muz_qe/clp_context.h | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/muz_qe/clp_context.cpp b/src/muz_qe/clp_context.cpp index 5e683a5eb..73b065f7d 100644 --- a/src/muz_qe/clp_context.cpp +++ b/src/muz_qe/clp_context.cpp @@ -3,15 +3,15 @@ Copyright (c) 2013 Microsoft Corporation Module Name: - tab_context.cpp + clp_context.cpp Abstract: - Tabulation/subsumption/cyclic proof context. + Bounded CLP (symbolic simulation using Z3) context. Author: - Nikolaj Bjorner (nbjorner) 2013-01-15 + Nikolaj Bjorner (nbjorner) 2013-04-26 Revision History: diff --git a/src/muz_qe/clp_context.h b/src/muz_qe/clp_context.h index cd9117553..635891205 100644 --- a/src/muz_qe/clp_context.h +++ b/src/muz_qe/clp_context.h @@ -11,7 +11,7 @@ Abstract: Author: - Nikolaj Bjorner (nbjorner) 2013-01-15 + Nikolaj Bjorner (nbjorner) 2013-04-26 Revision History: