chars are atoms, trailing whitespace is acceptable.

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index a4e3c4fe7af1e4ab7882fe2d6fe2740c2e3450c4..0bb4a74ff38204034b195dbed7dc05fec157f8a6 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -270,7 +270,8 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<TermMarker>
             },
             &InlinedClauseType::IsAtom(..) =>
                 match terms[0].as_ref() {
-                    &Term::Constant(_, Constant::Atom(_)) => {
+                    &Term::Constant(_, Constant::Char(_))
+                  | &Term::Constant(_, Constant::Atom(_)) => {
                         code.push(succeed!());
                     },
                     &Term::Var(ref vr, ref name) => {

diff --git a/src/prolog/parser b/src/prolog/parser
index b5eafac5128ce9a4831619deb2f2d075f23f8781..f367d551e23d22b9514abecff7dc8182b7e04055 160000 (submodule)
--- a/src/prolog/parser
+++ b/src/prolog/parser
@@ -1 +1 @@
-Subproject commit b5eafac5128ce9a4831619deb2f2d075f23f8781
+Subproject commit f367d551e23d22b9514abecff7dc8182b7e04055