"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"
[ginac.git] / check / time_lw_M1.cpp
index 122a579c88e58ad1111a8af2630bb6e2281be35c..025da6965af57c3cd74a71cf03b70e27d74ddf6a 100644 (file)
@@ -4,7 +4,7 @@
  *  Lewis and Michael Wester. */
 
 /*
- *  GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by