Spec call seems to be broken

[jendavis]

I'm calling a spec from a spec. When I click the button to run entailment, nothing happens. When I click the button to run realizability, I get an error (red stop sign symbol). I'll send an example to the developer.

[lgwagner]

Jen, can you re-send the file? I cannot seem to find it in my email stack. My apologies.

[lgwagner]

fixed in development branch