Fixed a unicode conversion bug in the definition parser. 	modified:   definition_parser.py
Fixed a unicode conversion bug in the definition parser.
	modified:   definition_parser.py

kornai/pymachine,recski/pymachine,recski/pymachine,Eszti/pymachine,Eszti/pymachine,kornai/pymachine