In this case I wouldn't consider the duplication to be that big a deal. Matt
On Thu, Apr 4, 2013 at 2:41 PM, Emmanuel Bourg <[email protected]> wrote: > Le 04/04/2013 21:28, Matt Benson a écrit : > > I rather thought Gary was suggesting to duplicate the enum in both libs. > > Hum, a dependency or a duplication then? Rope or guillotine? :) > > > Emmanuel Bourg > > >
