diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-08 08:22:16 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-08 08:22:16 +1100 |
commit | 433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c (patch) | |
tree | 45335cf6bf839577c5d5d70e9e3c82cee4ca36df /lib | |
parent | 39f9a7703a57127792b0760bef116c1cb6952d52 (diff) |
* lib/tip.exp (tip_open): Put braces around if expression.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/tip.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/tip.exp b/lib/tip.exp index 8e19178..9fb94dd 100644 --- a/lib/tip.exp +++ b/lib/tip.exp @@ -59,7 +59,7 @@ proc tip_open { hostname } { warning "Never got prompt." set result -1 incr tries - if $tries<=2 { + if { $tries <= 2 } { exp_continue } } |