Switching to types-as-attributes in parser

[cvc5.git] / src / expr / type.h

diff --git a/src/expr/type.h b/src/expr/type.h
index 19d0c831e43885e90f230299ed5ebf39a8a095ef..fd485602ed7ee9895c06ffc2e5be5f489673cd5c 100644 (file)
--- a/src/expr/type.h
+++ b/src/expr/type.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** type.h
  ** Original author: cconway
  ** 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