poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] Fix typo in exception label.


From: John Darrington
Subject: [PATCH] Fix typo in exception label.
Date: Sun, 17 Nov 2019 13:22:44 +0100

        * src/pkl-rt.pk (_pkl_exception_handler): Fix typo.
---
 src/pkl-rt.pk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pkl-rt.pk b/src/pkl-rt.pk
index 0b330d8..4313261 100644
--- a/src/pkl-rt.pk
+++ b/src/pkl-rt.pk
@@ -83,7 +83,7 @@ defun _pkl_exception_handler = (Exception exception) void:
    else if (exception == E_elem)
      print "invalid element";
    else if (exception == E_constraint)
-     print "constraint violated";
+     print "constraint violation";
    else if (exception == E_conv)
      print "conversion error";
    else if (exception == E_map_bounds)
-- 
2.11.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]