Commit 2b0a830e authored by simonpj's avatar simonpj
Browse files

[project @ 2003-11-10 09:48:38 by simonpj]

Add assertErrorName to the known-key names
parent 1f5e5580
......@@ -208,7 +208,7 @@ basicKnownKeyNames
-- Others
otherwiseIdName,
plusIntegerName, timesIntegerName,
eqStringName, assertName, runSTRepName,
eqStringName, assertName, assertErrorName, runSTRepName,
printName, splitName, fstName, sndName,
-- Booleans
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment