max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(app_builder.h): fixing a typo in an error message

Browse source
This commit is contained in:
Scott Morrison 2017-01-03 21:22:14 +11:00 • committed by Leonardo de Moura
parent d9eab0cb19
commit a85e89f555
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/app_builder.h
View file

@ -17,7 +17,7 @@ class app_builder_exception : public exception {
public:
// We may provide more information in the future.
app_builder_exception():
exception("app_builder_exception, more information can be obtained using commad "
exception("app_builder_exception, more information can be obtained using command "
"`set_option trace.app_builder true`") {}
};