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
_______________________________________________
DOLFIN-dev mailing list
[email protected]
http://www.fenics.org/mailman/listinfo/dolfin-dev
