You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The correct request supposed to be "Checkers help" as prompt indicates. That request works as expected. However, it highlights the potential underlying issue with the names of generated procedures/classnames being "Classname.Classname", instead of "User.Classname".
If I type 'help' I get the following:
![Screenshot 2019-05-07 18 58 26](https://user-images.githubusercontent.com/2781759/57338109-2ec04c00-70fa-11e9-815e-032dc1014314.png)
The text was updated successfully, but these errors were encountered: