summaryrefslogtreecommitdiff
path: root/src/expr
diff options
context:
space:
mode:
Diffstat (limited to 'src/expr')
-rw-r--r--src/expr/attr_type.h2
-rw-r--r--src/expr/attr_var_name.h2
-rw-r--r--src/expr/command.cpp2
-rw-r--r--src/expr/command.h2
-rw-r--r--src/expr/expr.cpp2
-rw-r--r--src/expr/expr.h2
-rw-r--r--src/expr/expr_manager.cpp2
-rw-r--r--src/expr/expr_manager.h2
-rw-r--r--src/expr/kind_epilogue.h4
-rw-r--r--src/expr/kind_middle.h4
-rw-r--r--src/expr/kind_prologue.h4
-rw-r--r--src/expr/node.cpp2
-rw-r--r--src/expr/node.h2
-rw-r--r--src/expr/node_attribute.h2
-rw-r--r--src/expr/node_builder.cpp2
-rw-r--r--src/expr/node_builder.h2
-rw-r--r--src/expr/node_manager.cpp2
-rw-r--r--src/expr/node_manager.h2
-rw-r--r--src/expr/node_value.cpp2
-rw-r--r--src/expr/node_value.h2
20 files changed, 23 insertions, 23 deletions
diff --git a/src/expr/attr_type.h b/src/expr/attr_type.h
index 966d69081..f19491b70 100644
--- a/src/expr/attr_type.h
+++ b/src/expr/attr_type.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** attr_type.h
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/attr_var_name.h b/src/expr/attr_var_name.h
index 30f67fcf9..b3267c7dc 100644
--- a/src/expr/attr_var_name.h
+++ b/src/expr/attr_var_name.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** attr_var_name.h
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/command.cpp b/src/expr/command.cpp
index 2f8dd789e..a7b15f05e 100644
--- a/src/expr/command.cpp
+++ b/src/expr/command.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** command.cpp
** Original author: mdeters
** Major contributors: dejan
diff --git a/src/expr/command.h b/src/expr/command.h
index dedefb782..923af0a4d 100644
--- a/src/expr/command.h
+++ b/src/expr/command.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** command.h
** Original author: mdeters
** Major contributors: dejan
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp
index 1df4012a6..283467fa8 100644
--- a/src/expr/expr.cpp
+++ b/src/expr/expr.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** expr.cpp
** Original author: dejan
** Major contributors: taking
diff --git a/src/expr/expr.h b/src/expr/expr.h
index 2210a6c0a..6e4a43d21 100644
--- a/src/expr/expr.h
+++ b/src/expr/expr.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** expr.h
** Original author: dejan
** Major contributors: none
diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 5b5f962bd..d81466305 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** expr_manager.cpp
** Original author: dejan
** Major contributors: mdeters
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h
index 97f2cd24d..32aa41dfe 100644
--- a/src/expr/expr_manager.h
+++ b/src/expr/expr_manager.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** expr_manager.h
** Original author: dejan
** Major contributors: mdeters
diff --git a/src/expr/kind_epilogue.h b/src/expr/kind_epilogue.h
index 06f92261b..3d029bec4 100644
--- a/src/expr/kind_epilogue.h
+++ b/src/expr/kind_epilogue.h
@@ -1,6 +1,6 @@
-/********************* -*- C++ -*- */
+/********************* */
/** kind_epilogue.h
- ** Original author:
+ ** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
diff --git a/src/expr/kind_middle.h b/src/expr/kind_middle.h
index 7dee40853..c34697cac 100644
--- a/src/expr/kind_middle.h
+++ b/src/expr/kind_middle.h
@@ -1,6 +1,6 @@
-/********************* -*- C++ -*- */
+/********************* */
/** kind_middle.h
- ** Original author:
+ ** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
diff --git a/src/expr/kind_prologue.h b/src/expr/kind_prologue.h
index bdc0ff599..53df4a590 100644
--- a/src/expr/kind_prologue.h
+++ b/src/expr/kind_prologue.h
@@ -1,6 +1,6 @@
-/********************* -*- C++ -*- */
+/********************* */
/** kind_prologue.h
- ** Original author:
+ ** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 8092348fe..72ad61e95 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node.cpp
** Original author: mdeters
** Major contributors: taking, dejan
diff --git a/src/expr/node.h b/src/expr/node.h
index 1d47f676b..63bacaa52 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node.h
** Original author: mdeters
** Major contributors: dejan
diff --git a/src/expr/node_attribute.h b/src/expr/node_attribute.h
index 0d00a300f..f43013a27 100644
--- a/src/expr/node_attribute.h
+++ b/src/expr/node_attribute.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_attribute.h
** Original author: mdeters
** Major contributors: dejan
diff --git a/src/expr/node_builder.cpp b/src/expr/node_builder.cpp
index 3629815b6..7b78093c9 100644
--- a/src/expr/node_builder.cpp
+++ b/src/expr/node_builder.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_builder.cpp
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 1411024a9..23a4c6f84 100644
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_builder.h
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index df49800b6..e9fdc69a8 100644
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_manager.cpp
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 3c8dbdea7..090398ce8 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_manager.h
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 781747542..575ab7d37 100644
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_value.cpp
** Original author: mdeters
** Major contributors: none
diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index bf8b7cd79..bb224e3b1 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -1,4 +1,4 @@
-/********************* -*- C++ -*- */
+/********************* */
/** node_value.h
** Original author: mdeters
** Major contributors: dejan
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback