From 60f1f1cb3d5866527ed24d9ab9e50059641613f0 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 19 Apr 2020 02:12:01 +0200
Subject: [PATCH] Restore the type_error, which was implemented correctly by
 @notoria.

This corrects f28e87b2401960e3b31bea114318e2b3ef1616d3:
in_character is a valid type by 7.12.2 Error classification!
---
 src/prolog/lib/charsio.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 4e3a4a22..717bbaaa 100644
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -60,7 +60,7 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
 get_single_char(C) :-
     (  var(C) -> '$get_single_char'(C)
     ;  atom_length(C, 1) -> '$get_single_char'(C)
-    ;  throw(error(domain_error(in_character, C), get_single_char/1))
+    ;  throw(error(type_error(in_character, C), get_single_char/1))
     ).
 
 
-- 
2.54.0