dolfin team mailing list archive

["Garth N. Wells" <gnw20@xxxxxxxxx>]

There is an ambiguity in Table with the two functions:

  void Table::set(std::string row, std::string col, int value);
  void Table::set(std::string row, std::string col, uint value);

since it's not clear which should be called if one does:

  Table table;
  table.set("a", "a", 10);

Garth