Merge pull request #308 from C-Elegans/opt_compare_fix_pr
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 09:04:48 +0000 (10:04 +0100)
committerGitHub <noreply@github.com>
Sat, 11 Feb 2017 09:04:48 +0000 (10:04 +0100)
Fix issue #306, "Bug in opt -full"


Trivial merge