Needed to call get_all_dummy_indices_safely more often.
authorChris Dams <Chris.Dams@mi.infn.it>
Thu, 13 Jul 2006 20:02:38 +0000 (20:02 +0000)
committerChris Dams <Chris.Dams@mi.infn.it>
Thu, 13 Jul 2006 20:02:38 +0000 (20:02 +0000)
commit6b1b11264fe4872132fef8cb8b22cb983ba01736
treef5ad5e8c5819b785177e4424a729330d0c91d024
parent7e68cf1c0515b0397a49a13f2f08decae7509af1
Needed to call get_all_dummy_indices_safely more often.
ginac/mul.cpp