kind2-mc/kind2 — pull request #107 by magicpt100 (2014-07-21 16:48:23+00:00)
Title: Interpreter Service

Do I need to remove the check load part for interpreter service?