exception when passing null to setCurrentSection() in ZLive

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

Status: open

Owner: Petra Malik

Labels: zlive (10)

Priority: 5

Updated: 2007-10-17

Created: 2007-10-17

Private: No

passing null to setCurrentSection() does gives back zlivedefault but it
gives an exception

Yi-Na (Ignatius) Tsai - 2007-10-17

assigned_to: marku --> petramalik
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: