]> Repositorios git - scryer-prolog.git/commit
remove now unneeded check
authorMarkus Triska <[email protected]>
Fri, 30 Jun 2023 20:14:00 +0000 (22:14 +0200)
committerMarkus Triska <[email protected]>
Fri, 30 Jun 2023 20:14:00 +0000 (22:14 +0200)
commit31030738a4d1d771757c64ea1fc99d8cd4b7c4fe
tree6e3d63be86f1de1e8764b17c3f9533f3de5b212f
parentcaf84a259eb304607cffb06aeda4118c0d5db903
remove now unneeded check
src/toplevel.pl