Use Text not String in exception docs (#10287)

changelog_begin
changelog_end
This commit is contained in:
Moritz Kiefer 2021-07-15 15:02:37 +02:00 committed by GitHub
parent 53822537e4
commit d96b54eb23
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,7 +16,7 @@ template Error
exception MyException
with
field1 : Int
field2 : String
field2 : Text
where
message "MyException(" <> show field1 <> ", " <> show field2 <> ")"
-- END_EXCEPTION