Daniel Heule 423001b702 Make state parameter optional for all types, fixes #131		2014-02-08 21:48:51 +01:00
..
default	Make state parameter optional for all types, fixes #131	2014-02-08 21:48:51 +01:00
optional	Make state parameter optional for all types, fixes #131	2014-02-08 21:48:51 +01:00