diff options
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/attr_type.h | 2 | ||||
-rw-r--r-- | src/expr/attr_var_name.h | 2 | ||||
-rw-r--r-- | src/expr/command.cpp | 2 | ||||
-rw-r--r-- | src/expr/command.h | 2 | ||||
-rw-r--r-- | src/expr/expr.cpp | 2 | ||||
-rw-r--r-- | src/expr/expr.h | 2 | ||||
-rw-r--r-- | src/expr/expr_manager.cpp | 2 | ||||
-rw-r--r-- | src/expr/expr_manager.h | 2 | ||||
-rw-r--r-- | src/expr/kind_epilogue.h | 4 | ||||
-rw-r--r-- | src/expr/kind_middle.h | 4 | ||||
-rw-r--r-- | src/expr/kind_prologue.h | 4 | ||||
-rw-r--r-- | src/expr/node.cpp | 2 | ||||
-rw-r--r-- | src/expr/node.h | 2 | ||||
-rw-r--r-- | src/expr/node_attribute.h | 2 | ||||
-rw-r--r-- | src/expr/node_builder.cpp | 2 | ||||
-rw-r--r-- | src/expr/node_builder.h | 2 | ||||
-rw-r--r-- | src/expr/node_manager.cpp | 2 | ||||
-rw-r--r-- | src/expr/node_manager.h | 2 | ||||
-rw-r--r-- | src/expr/node_value.cpp | 2 | ||||
-rw-r--r-- | src/expr/node_value.h | 2 |
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 |