projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d692211)
Minor cleanup.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 20:07:39 +0000 (15:07 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 20:41:28 +0000 (15:41 -0500)
src/theory/theory_traits_template.h patch | blob | history

diff --git a/src/theory/theory_traits_template.h b/src/theory/theory_traits_template.h
index 6d1a4c9af58ee281ef991f0d9c7b0fa2db512a8d..b9f3eec6325f865bdcecd7ac14472e9b66ac47dc 100644 (file)
--- a/src/theory/theory_traits_template.h
+++ b/src/theory/theory_traits_template.h
@@ -36,7 +36,7 @@ ${theory_traits}
 
 ${theory_for_each_macro}
 
-#line 39 "${template}"
+#line 40 "${template}"
 
 struct TheoryConstructor {
   static void addTheory(TheoryEngine* engine, TheoryId id) {