kframework/k — pull request #588 by traiansf (2014-06-12 16:04:32+00:00)
Title: Maude binder patch

As Dwight mentioned, Maude indexes were starting at 1, so my commit 6759f713aa9c1020a3bef5f4073aefd0a23dbcb9 broke substitution for Maude.

This fixes it by increasing the indexes when generating Maude-specific equations.

@dwightguth please review