up previous next
unprotect

remove protection from a variable

Syntax
unprotect X;

Description
This command undoes the effect of the protect command; once a variable has been unprotected, it may be assigned to freely.

Example
/**/ X := 1;
/**/ protect X;    --> cannot assign to X henceforth
/**/
/**/ unprotect X;  --> remove protection, X may be assigned to now
/**/ X := 2;

See Also