tree 51c10a358288bb8a2eeeebd6602294362f16419f
parent 66b4c33e817ec34d64c7513950e74a3382e06662
author Sameer Agarwal <sameeragarwal@google.com> 1607964905 -0800
committer Sameer Agarwal <sameeragarwal@google.com> 1607964905 -0800

Fix an errant double in TinySolver.

Thanks to Bogdan Burlacu for pointing this out.

Change-Id: I7a59a589c1bf919954e4905df3376e9aeb1a12d7