remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing-mode...

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index c9a4fe05a3f86b904e9752ec3d039d78af01d72c..22128ea6d7219745817f9c00eb7be981fbdccf23 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -117,14 +117,14 @@ sub recurse {
       if(m,^(%{)?/\*(\*| )\*\*\*,) {
         print "updating\n";
         if($file =~ /\.(y|yy|ypp|Y)$/) {
-          print $OUT "%{/*******************                                           -*- C++ -*-  */\n";
+          print $OUT "%{/*******************                                                        */\n";
           print $OUT "/** $file\n";
         } elsif($file =~ /\.g$/) {
           # avoid javadoc-style comment here; antlr complains
-          print $OUT "/* *******************                                           -*- C++ -*-  */\n";
+          print $OUT "/* *******************                                                        */\n";
           print $OUT "/*  $file\n";
         } else {
-          print $OUT "/*********************                                           -*- C++ -*-  */\n";
+          print $OUT "/*********************                                                        */\n";
           print $OUT "/** $file\n";
         }
         print $OUT " ** Original author: $author\n";
@@ -139,14 +139,14 @@ sub recurse {
         my $line = $_;
         print "adding\n";
         if($file =~ /\.(y|yy|ypp|Y)$/) {
-          print $OUT "%{/*******************                                           -*- C++ -*-  */\n";
+          print $OUT "%{/*******************                                                        */\n";
           print $OUT "/** $file\n";
         } elsif($file =~ /\.g$/) {
           # avoid javadoc-style comment here; antlr complains
-          print $OUT "/* *******************                                           -*- C++ -*-  */\n";
+          print $OUT "/* *******************                                                        */\n";
           print $OUT "/*  $file\n";
         } else {
-          print $OUT "/*********************                                           -*- C++ -*-  */\n";
+          print $OUT "/*********************                                                        */\n";
           print $OUT "/** $file\n";
         }
         print $OUT " ** Original author: $author\n";

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 487dd97f8d53d813fe50ad78e49df9c8ae27eba8..5d8ea933bff8e5d7836cf906074524629d303bce 100644 (file)
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context.cpp
  ** Original author: mdeters
  ** Major contributors: barrett

diff --git a/src/context/context.h b/src/context/context.h
index 9e1eba6443c225c4af0ee0166d95b6695e04011d..244a8b7925365c3950a4dac80aafab8dd832b55d 100644 (file)
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context.h
  ** Original author: mdeters
  ** Major contributors: barrett

diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp
index bc8e8772fe86779256351d91b76668307ce8c91b..df7d8298782781de96c92b37d477d76fbb0e7f12 100644 (file)
--- a/src/context/context_mm.cpp
+++ b/src/context/context_mm.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context_mm.cpp
  ** Original author: barrett
  ** Major contributors: mdeters

diff --git a/src/context/context_mm.h b/src/context/context_mm.h
index 45b2539ca1894df7f5f5292dba8dd62b88f808d3..c5149897971f22026e3f26c5eb391b7542a50b2f 100644 (file)
--- a/src/context/context_mm.h
+++ b/src/context/context_mm.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context_mm.h
  ** Original author: barrett
  ** Major contributors: none

diff --git a/src/expr/attr_type.h b/src/expr/attr_type.h
index 966d69081401152f26372cae919b57373e9ccd90..f19491b70752a49068f380ff4ba4207cfa359b44 100644 (file)
--- 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 30f67fcf96639fcaf984ab180c6d054fea35fb7d..b3267c7dc9060a8eb2855bc31ff0856bf235c4ef 100644 (file)
--- 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 2f8dd789e1983f8075f96e66f79b77fd739c0921..a7b15f05edc81c52dac011bd7ebce48cc5c113f2 100644 (file)
--- 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 dedefb7827039160698aac2edab4e275ea738654..923af0a4d837bb41cec4442601b99824d71dbb22 100644 (file)
--- 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 1df4012a6f7cef95cc1ca26acd47069b57e4b3df..283467fa8da8a7ed160432f30395e613a2af6c2b 100644 (file)
--- 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 2210a6c0a411ab997fc215ccd083ee59bc6bf911..6e4a43d21f8c290ce473cb3f097728ef9101711f 100644 (file)
--- 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 5b5f962bd9accd3a8958b5218d0f5a333458a2ed..d8146630500b8f0da6c2460459bb0f5d11efe586 100644 (file)
--- 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 97f2cd24d580b9bfe441e86c079b1cc32039f29e..32aa41dfec2cfed8732acc71888e4ecacefd0e10 100644 (file)
--- 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 06f92261b83173a2aae96ba42415b5880c881a97..3d029bec4685a4bd8c84015a4cc328ea5c04d599 100644 (file)
--- 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 7dee408537fee40112f2a026e4daaab0066cc309..c34697cacd9638caf60351dd24bef2d6f081ac2d 100644 (file)
--- 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 bdc0ff5995abf862f31b111809572a4a10c23fae..53df4a59031ffa37850318aa050c0c21718338b0 100644 (file)
--- 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 8092348fe914a1b995066edf53e16c0548c2f351..72ad61e95be949c1fd369d78437c26eaf2151257 100644 (file)
--- 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 1d47f676b4183fdc0a6bde1a88bf66c193ee5391..63bacaa5259117c1210fcde7e4d099c47ce1f18b 100644 (file)
--- 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 0d00a300f03b7241e778d381b83bfcd8ca5495bd..f43013a27caf3778f1d269960eb1609bd248d2e2 100644 (file)
--- 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 3629815b6b28fc3d0919963733cdd02e6f28d765..7b78093c9c135de447a522410731122fa41b365d 100644 (file)
--- 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 1411024a9efbcbb8e540257e23ee7d4accd1b106..23a4c6f84a86f35e5d8209b663d33f0454f608f5 100644 (file)
--- 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 df49800b66d79ac55be97a3e23e56046f6f7c00b..e9fdc69a80b926a386644714f63aee1faa957b4c 100644 (file)
--- 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 3c8dbdea74add3bac5793f3e4e030690569fa07e..090398ce88f25c4ee65eebabfd936fae39bcea8d 100644 (file)
--- 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 78174754271d245b506f6d04c9ba89b7eef9d229..575ab7d37a7513eb5c744de330bae8934a70dd68 100644 (file)
--- 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 bf8b7cd791a111d721d758fdbb57d6245f0b60f2..bb224e3b1398ccb7f123703c6e7a4d864e13648f 100644 (file)
--- 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

diff --git a/src/include/cvc4_config.h b/src/include/cvc4_config.h
index bda26ebe00e30d498001fca7580562585db67f22..593e7a5e3e73beddd86607cc1fbe62a6773bc1bc 100644 (file)
--- a/src/include/cvc4_config.h
+++ b/src/include/cvc4_config.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** cvc4_config.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/main/about.h b/src/main/about.h
index a30cffd39ab58009dc97e36e4e6e566aa5894a39..9dacdc8cc3a95f051c00db835ed8b86d5c94eb9e 100644 (file)
--- a/src/main/about.h
+++ b/src/main/about.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** about.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index f4d32cd686ab7d2c33130a1dac047fc863a239cf..0c041b05ea9c483c648e92029acb7475da524486 100644 (file)
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** getopt.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/main/main.cpp b/src/main/main.cpp
index d4b40c12df09bdad6af255b85de42202fb56419c..bb38c6147623748b8032ad52a72374792a3a2a49 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** main.cpp
  ** Original author: mdeters
  ** Major contributors: barrett, dejan

diff --git a/src/main/main.h b/src/main/main.h
index 0c78912aeba19dfeae51e220a980b2221fa3e5a2..405b22363fd53f36bf33b3207e1a6ba2f0fb7e89 100644 (file)
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** main.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/main/usage.h b/src/main/usage.h
index 6927f0f2f28a2e290e90c25fa8d80d815fc4c1a5..f13c4aebe864fbec3eded6c449a984c0e0708486 100644 (file)
--- a/src/main/usage.h
+++ b/src/main/usage.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** usage.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 03ae26092f73ef847f077c0ae865db3c3e3eaec0..adb117b9d31cc9e614d15a14faee39af20825f21 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** util.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp
index 58f1babd03b109fe065a1980141796d0405c4990..34691dc33810a2be5fa5528c860a604e74eaff9c 100644 (file)
--- a/src/parser/antlr_parser.cpp
+++ b/src/parser/antlr_parser.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** antlr_parser.cpp
  ** Original author: dejan
  ** Major contributors: mdeters, cconway

diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h
index aa32e4193afb92269b071714c880e340e206766c..5a7291be60f20d77b8d7dedca447ce149fd583e0 100644 (file)
--- a/src/parser/antlr_parser.h
+++ b/src/parser/antlr_parser.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** antlr_parser.h
  ** Original author: dejan
  ** Major contributors: cconway

diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g
index 2452b10023a018df949c03da842fe002bae33960..afcc7597d036e01035ba457fb3dd4dc2c0343736 100644 (file)
--- a/src/parser/cvc/cvc_lexer.g
+++ b/src/parser/cvc/cvc_lexer.g
@@ -1,4 +1,4 @@
-/* *******************                                           -*- C++ -*-  */
+/* *******************                                                        */
 /*  cvc_lexer.g
  ** Original author: dejan
  ** Major contributors: mdeters

diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g
index 9a77ea1783ba31feedfe112e513f314d2d97783e..6628880505b48812d98d248fa74f9a1e90beb58e 100644 (file)
--- a/src/parser/cvc/cvc_parser.g
+++ b/src/parser/cvc/cvc_parser.g
@@ -1,4 +1,4 @@
-/* *******************                                           -*- C++ -*-  */
+/* *******************                                                        */
 /*  cvc_parser.g
  ** Original author: dejan
  ** Major contributors: mdeters

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 71f38e87fc7affef6036e0870412a9afb660afc5..ef23d38834bfa16d171ff1fec9c90319ca4414d9 100644 (file)
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** parser.cpp
  ** Original author: mdeters
  ** Major contributors: dejan

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 98c7267c67a538575bf3ee97b939002f64653e0e..bc4fd601871c7fd9fd875936aac4809eacd566de 100644 (file)
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** parser.h
  ** Original author: mdeters
  ** Major contributors: dejan

diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index 85d50ba519ce8fd75e069a80ede1183f00739518..e303988249bd084b2a419223e8e7bbef1312d0e0 100644 (file)
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** parser_exception.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g
index 6c7e4be9dd95b91e1d027dc2cd6d2c7027c4534f..d71edfbc33f444a2d9ac4e3080614e8990c16ccb 100644 (file)
--- a/src/parser/smt/smt_lexer.g
+++ b/src/parser/smt/smt_lexer.g
@@ -1,4 +1,4 @@
-/* *******************                                           -*- C++ -*-  */
+/* *******************                                                        */
 /*  smt_lexer.g
  ** Original author: dejan
  ** Major contributors: cconway, mdeters

diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g
index 8bc557bbdce21cd436847818a0bcada47f69dd41..47e2751715966b38877b01427da600f6198cf01d 100644 (file)
--- a/src/parser/smt/smt_parser.g
+++ b/src/parser/smt/smt_parser.g
@@ -1,4 +1,4 @@
-/* *******************                                           -*- C++ -*-  */
+/* *******************                                                        */
 /*  smt_parser.g
  ** Original author: dejan
  ** Major contributors: mdeters, cconway

diff --git a/src/prop/cnf_conversion.h b/src/prop/cnf_conversion.h
index 0adbda2dbf1782eaa44e434b07e3e553027616fa..4ddfd3c06e6eb6b35d3ddd98182f44f86876d4ab 100644 (file)
--- a/src/prop/cnf_conversion.h
+++ b/src/prop/cnf_conversion.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** cnf_conversion.h
  ** Original author: taking
  ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Minor contributors (to current version): dejan, mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index cf013363b5951e2b23baf528d864bb7cf31ba006..e333543b4a801fe47fdf2cecd176e8e4f82a6a73 100644 (file)
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** cnf_stream.cpp
  ** Original author: taking
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index ca2e6dedd465b62606a3a6e78f54f0005dcbd487..97f1ee801f6873c9c1f1053fa860b476d3bbfac2 100644 (file)
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** cnf_stream.h
  ** Original author: taking
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index a206a8343eaa21e531c9ff320c734f4d711bbf4a..ad38c2a1f7b83b02ff836d87af878a812bb9a6f9 100644 (file)
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** prop_engine.cpp
  ** Original author: mdeters
  ** Major contributors: taking

diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index b2355ee38598ff8506fe95844c479ee43c1778a6..afeee3a41ce336cf15807820693507194e74c876 100644 (file)
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** prop_engine.h
  ** Original author: mdeters
  ** Major contributors: taking

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 9a22dfb2951b5a8c2651e98134cbfe61747ade96..679b9da8c289523ac31d4155bd62ac95a3d693f8 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** sat.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 09790882cc94adb3cf8696cb27ab7e3f92582010..1555acb7da19da6bc2d3346c4234e7878c9fc1ca 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** smt_engine.cpp
  ** Original author: mdeters
  ** Major contributors: dejan

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 904275c4962ca79f261e2e211d58d8e555c68cc2..79a35a6a185ac22412f84379a1efabb108509dfc 100644 (file)
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** smt_engine.h
  ** Original author: mdeters
  ** Major contributors: dejan

diff --git a/src/theory/interrupted.h b/src/theory/interrupted.h
index 17b54adda53cca2313da869ed963e57a09c786a2..f7a269f0ba95bc146ef2b32f6be7660a3906903a 100644 (file)
--- a/src/theory/interrupted.h
+++ b/src/theory/interrupted.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** interrupted.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h
index 298be12bf224a9ca3f6dab21603daabb58bdfb06..cec499a13aa6e087d15260d7ae032fd8be765ff3 100644 (file)
--- a/src/theory/output_channel.h
+++ b/src/theory/output_channel.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** output_channel.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index 2972b472228a0ca55388f8c08ba99ac366a28459..61b2fdfa3295514fb1908ae498a070e53c92b1cb 100644 (file)
--- a/src/theory/theory.cpp
+++ b/src/theory/theory.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** theory.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/theory/theory.h b/src/theory/theory.h
index dc862197ed4f8e2227521a31f66718ea617f6026..8daa0149f2911f2cf704d4894b16c67a3be455ac 100644 (file)
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** theory.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 81bb38e687e4396d4f889ac7a7fffb58d6b77b18..58a59d321fc93ac769dd18068397ff62bac37341 100644 (file)
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** theory_engine.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index b4a9f8f919098577f43b2c3d7d74d6657bf644a7..3fb11b510127eb4fca8602d9d229f789aa3dcf86 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** theory_engine.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp
index c798b3d0a9fd844a5e48084cacadf1cb29149d2f..8e2dd9220b41c65109868d1eb61ce25631ec3fd7 100644 (file)
--- a/src/util/Assert.cpp
+++ b/src/util/Assert.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** Assert.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/Assert.h b/src/util/Assert.h
index 7d2785d73648d91825441f04e3a057363c3cf206..8f03ecd45c85c51102325768a73d1b8d12b9a413 100644 (file)
--- a/src/util/Assert.h
+++ b/src/util/Assert.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** Assert.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/debug.h b/src/util/debug.h
index e99b1c48a28a3e0939e5ff59771ef278b828a567..13b097955f0c8e3a7d3e5f9eaafcc11d3d98daa1 100644 (file)
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** debug.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp
index b163879b866a9cb046f5eebe365a2139cff0de5d..92e4c4f8c5c689cb6794aca0a2d39d9b13328ba3 100644 (file)
--- a/src/util/decision_engine.cpp
+++ b/src/util/decision_engine.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** decision_engine.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/decision_engine.h b/src/util/decision_engine.h
index a2392c1048a2f3cc7a84b7cdc2745a580ef032fd..801daa8633ec64e6b8f13836d960ba6917caa1c5 100644 (file)
--- a/src/util/decision_engine.h
+++ b/src/util/decision_engine.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** decision_engine.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/exception.h b/src/util/exception.h
index 8401b041ec01c225215c85d111df7ef3079a2bd7..b77e7c860987503319a7da6c1b293895c22cbf5f 100644 (file)
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** exception.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/literal.h b/src/util/literal.h
index b246d128933441bdf38d6ed16a7e42172aec345f..582c8a646e5e35809b31f50452f3425c482cbdef 100644 (file)
--- a/src/util/literal.h
+++ b/src/util/literal.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** literal.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/model.h b/src/util/model.h
index 2d2419d0f3062f3b6de199234fbb787f904a5feb..65c919dd2e921b951f90f2c2e31a46c7cd90c43c 100644 (file)
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** model.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/options.h b/src/util/options.h
index 82552553f9afd148eb598cb44711e61df74c601f..f3bc52d34ef2503aac4871375ec7c5d3d27c5486 100644 (file)
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** options.h
  ** Original author: mdeters
  ** Major contributors: dejan

diff --git a/src/util/output.cpp b/src/util/output.cpp
index fb48a23a50c1b14a37df3eb05e60fc6a47fb4c0d..01a485136ca4f697ff5501d03f05dffbe7b5e438 100644 (file)
--- a/src/util/output.cpp
+++ b/src/util/output.cpp
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** output.cpp
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/output.h b/src/util/output.h
index d11725fc5db4c40925b2a43942b4a27088ff8333..8ba1ea26b527c0483593d53301ddf6c017d413a7 100644 (file)
--- a/src/util/output.h
+++ b/src/util/output.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** output.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/result.h b/src/util/result.h
index 8cfac4d090cf3a65e4bb963ba6bf82fde3f86b73..49ba7c697f24b74eba420d70d1fc5e0ad7624bc9 100644 (file)
--- a/src/util/result.h
+++ b/src/util/result.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** result.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/src/util/unique_id.h b/src/util/unique_id.h
index 8b5e1f31e44b0a7c6e9b2776e263c774465a19bb..244b8a5dd1a44fc070f2feea00f7020090faabf6 100644 (file)
--- a/src/util/unique_id.h
+++ b/src/util/unique_id.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** unique_id.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 107feb41c078c5e2fb4e266d8ecfae608438e3e9..b80ddf70af76e466fe2ef0f30a99348c6ee40b84 100644 (file)
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context_black.h
  ** Original author: dejan
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/context/context_mm_black.h b/test/unit/context/context_mm_black.h
index 649915a7f5744b60937a91bf0338e8a4c2ee1be9..bda1cb14137a4cabe8b0f2f35201a6d1a6c8ea41 100644 (file)
--- a/test/unit/context/context_mm_black.h
+++ b/test/unit/context/context_mm_black.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** context_mm_black.h
  ** Original author: dejan
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index c7173b4cf4ce065c800d6b592bae870de06d2471..fd2cf3332ed898a42274b6e02b0530522df238dd 100644 (file)
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** node_black.h
  ** Original author: mdeters
  ** Major contributors: taking

diff --git a/test/unit/expr/node_white.h b/test/unit/expr/node_white.h
index f8c950fd3f25a833d4de783e3bd121604e39cc53..c097f275801e4d2f927bfc315ab529c6faf0f3bd 100644 (file)
--- a/test/unit/expr/node_white.h
+++ b/test/unit/expr/node_white.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** node_white.h
  ** Original author: mdeters
  ** Major contributors: none

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 28a38892fd1f85d81362bff996897a6c90bb9726..26c572ce618d798ceb98c836564440b2f0c0d0c6 100644 (file)
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -1,4 +1,4 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** parser_black.h
  ** Original author: cconway
  ** Major contributors: dejan