Bug in input for Tinier.

This commit is contained in:
Marcel Keller
2021-05-11 13:28:12 +10:00
parent 397f508409
commit 38b386877b

View File

@@ -165,6 +165,12 @@ public:
inputter.add_mine(value, n_bits);
}
template <class U>
void other_input(U& inputter, int from, int)
{
inputter.add_other(from);
}
template <class U>
void finalize_input(U& inputter, int from, int n_bits)
{