Fix: scripts are not aware of nullptr, they only know null

This commit is contained in:
Rubidium
2023-01-25 23:44:58 +01:00
committed by rubidium42
parent f9a473bef7
commit 2fd99467ea
12 changed files with 24 additions and 24 deletions

View File

@@ -137,7 +137,7 @@ public:
/**
* Set the name of your company.
* @param name The new name of the company (can be either a raw string, or a ScriptText object).
* @pre name != nullptr && len(name) != 0.
* @pre name != null && len(name) != 0.
* @exception ScriptError::ERR_NAME_IS_NOT_UNIQUE
* @return True if the name was changed.
*/
@@ -154,7 +154,7 @@ public:
/**
* Set the name of your president.
* @param name The new name of the president (can be either a raw string, or a ScriptText object).
* @pre name != nullptr && len(name) != 0.
* @pre name != null && len(name) != 0.
* @exception ScriptError::ERR_NAME_IS_NOT_UNIQUE
* @return True if the name was changed.
*/