Fix documentation for `-dth-dec-file`
authorNathan Collins <conathan@galois.com>
Thu, 14 Jun 2018 23:36:23 +0000 (16:36 -0700)
committerBen Gamari <ben@smart-cactus.org>
Fri, 15 Jun 2018 16:08:43 +0000 (12:08 -0400)
commit69954a125d12a1ffffcc9ce2d66bc211e3607a9a
tree63619068ca883f2083bbe77bd8a3e89337083145
parentdbe5370ee4d582a45c7e94500f2acc6bf9e2b7cb
Fix documentation for `-dth-dec-file`

The docs said that it took a file argument, as in
`-dth-dec-file=<file>`, but it does not take a file argument!
docs/users_guide/debugging.rst
docs/users_guide/glasgow_exts.rst