fixed error of commit 30930ef65036fd1e47d8c5aebf440ca63abfc279 that fixes #1315
Merge pull request #1316 from spechub/1315-maude_regression

fixed error of commit 30930ef65036fd1e47d8c5aebf440ca63abfc279 that fixe...