kframework/k — pull request #671 by radumereuta (2014-06-25 21:23:31+00:00)
Title: Added a check to test for duplicate module names.

Got a weird nasty NPE because I didn't have this check.