Index: src/SynTree/Attribute.h
===================================================================
--- src/SynTree/Attribute.h	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
+++ src/SynTree/Attribute.h	(revision 44a8185351c38769b27c73139cd5861fa62279f3)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 16:26:12 2016
-// Update Count     : 33
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Jan 18 16:27:11 2017
+// Update Count     : 38
 //
 
@@ -23,21 +23,26 @@
 class Attribute {
   public:
-  Attribute( std::string name = "", const std::list< Expression * > & parameters = std::list< Expression * >() ) : name( name ), parameters( parameters ) {}
-  Attribute( const Attribute &other );
-  virtual ~Attribute();
+	Attribute( std::string name = "", const std::list< Expression * > & parameters = std::list< Expression * >() ) : name( name ), parameters( parameters ) {}
+	Attribute( const Attribute &other );
+	virtual ~Attribute();
 
-  std::string get_name() const { return name; }
-  void set_name( const std::string & newValue ) { name = newValue; }
-  std::list< Expression * > & get_parameters() { return parameters; }
-  bool empty() const { return name == ""; }
+	std::string get_name() const { return name; }
+	void set_name( const std::string & newValue ) { name = newValue; }
+	std::list< Expression * > & get_parameters() { return parameters; }
+	bool empty() const { return name == ""; }
 
-  Attribute * clone() const { return new Attribute( *this ); }
-  void print( std:: ostream &os, int indent = 0 ) const;
-
+	Attribute * clone() const { return new Attribute( *this ); }
+	void print( std:: ostream &os, int indent = 0 ) const;
   private:
-  std::string name;
-  // to keep things nice and tight, use NameExpr for special identifier parameters
-  std::list< Expression * > parameters;
+	std::string name;
+	// to keep things nice and tight, use NameExpr for special identifier parameters
+	std::list< Expression * > parameters;
 };
 
 #endif
+
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //
