From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 5 Dec 2013 20:07:39 +0000 (-0500)
Subject: Minor cleanup.
X-Git-Tag: cvc5-1.0.0~7198
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3c016cf1c5432e9709902772fb4f3847ef274fd2;p=cvc5.git

Minor cleanup.
---

diff --git a/src/theory/theory_traits_template.h b/src/theory/theory_traits_template.h
index 6d1a4c9af..b9f3eec63 100644
--- 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) {