Coverage remained the same when pulling 27d96e3f2bec8cc35b2bd47718bc7a14bbd8ce50 on mtrberzi:issue23 into 2d7e1344464a923c83904f681c667eb93c505a71 on manifold-lang:master.
Coverage remained the same when pulling df002bee0141323e012c1523eb76508db1ee81a5 on mtrberzi:issue23 into 2d7e1344464a923c83904f681c667eb93c505a71 on manifold-lang:master.
Fixes #23