diff --git a/src/lib/os.pl b/src/lib/os.pl index b60a1a71..448b5f74 100644 --- a/src/lib/os.pl +++ b/src/lib/os.pl @@ -39,13 +39,9 @@ unsetenv(Key) :- shell(Command) :- shell(Command, 0). shell(Command, Status) :- - ( atom_si(Command) -> - atom_chars(Command, CommandChars) - ; Command = CommandChars - ), - must_be_chars(CommandChars), + must_be_chars(Command), can_be(integer, Status), - '$shell'(CommandChars, Status). + '$shell'(Command, Status). pid(PID) :- can_be(integer, PID),