gsdlab/claferIG — pull request #21 by mantkiew (2014-07-16 19:15:18+00:00)
Title: Update to use custom BNFC

Conform to [customBNFC pull request](https://github.com/gsdlab/clafer/pull/51).