diff src/intervals.h @ 109557:4180723cdfc3

* src/m/iris4d.h (XUINT, XSET): Remove, not needed.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 26 Jul 2010 21:03:14 -0700
parents 32bdba8ef7f4
children 0fdd992ff057
line wrap: on
line diff