The message for NotDefault() is confusing

[ljhca]

When the .NotDefault() Precondition fails, the exception message is:

System.ArgumentException : Bookedtime
"Parameter name: Value must have default value!"

Why would we say that it must have a 'default value' when the condition is that it is NOT the default value?

I think something like:
"Parameter name: Must have a value other than the system default"

[BoasE]

oh you are right. this should be changed.

[BoasE]

Feel free to make a pr otherwise I'll change it

[SebastianStehle]

I would add the default value to the message.

[BoasE]

Agree