Closed PalumboN closed 3 years ago
Fix https://github.com/uqbar-project/wollok/issues/1804
Coverage remained the same at 86.19% when pulling 646d24ba65dcd2c39319c32948bb8f000f05d286 on infinite_list_type into 63628e027c0a068edf741677f3cae456bc903869 on dev.
Fix https://github.com/uqbar-project/wollok/issues/1804