Add missing provides - Githubissues

namin / clpsmt-miniKanren

CLP(SMT) on top of miniKanren

MIT License

35 stars 8 forks source link

Closed chansey97 closed 3 years ago

chansey97 commented 3 years ago

Fix Racket complaints.

Some tests use these two global variables.

Therefore mk.rkt must provide them.

namin commented 3 years ago

Thanks.