diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-08-08 17:44:00 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-08 17:44:00 -0700 |
| commit | b4d4006d08a32b107257b0edaba95679d0b0c65b (patch) | |
| tree | 9c0b76a074e02f3eb091b5574e9b680b140373f3 /examples/nra-translate/smt2tomathematica.cpp | |
| parent | 987df3df987768e2ce0c36d17469929f8e92fdec (diff) | |
Fixing documentation nit from PR#2232. (#2289)
Diffstat (limited to 'examples/nra-translate/smt2tomathematica.cpp')
0 files changed, 0 insertions, 0 deletions