From: Stephan Renatus Date: Fri, 27 Mar 2020 17:29:17 +0000 (+0100) Subject: examples/least_time.pl: fix typo X-Git-Tag: v0.8.119~16^2~4^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7e6be23287feaeeb3886a4ec116f36a75c3a90ea;p=scryer-prolog.git examples/least_time.pl: fix typo Signed-off-by: Stephan Renatus --- diff --git a/src/prolog/examples/least_time.pl b/src/prolog/examples/least_time.pl index d6bd92b9..4f040340 100644 --- a/src/prolog/examples/least_time.pl +++ b/src/prolog/examples/least_time.pl @@ -4,7 +4,7 @@ * * find_min_time/2 solves a problem sometimes posed in the first round * of Google interviews: given a time of day in 24 H format, what is the - * lexographically least permutation of the time that is itself a + * lexicographically least permutation of the time that is itself a * valid time in 24 H format? * * Full generality is achieved using the reif library.