Logistic room?

-N


On Thu, Nov 7, 2013 at 3:03 PM, Arjun Guha <notifications@github.com> wrote:

> In lib/NetKAT_Automaton.ml:
>
> >      Hashtbl.fold (fun i () acc ->
> >        let pchar = Hashtbl.find chash i in
> > -      add (switch_port_of_pchar pchar) (q, pchar, q') acc)
> > +      let sw_pt = switch_port_of_pchar pchar in
> > +      let edge = (q, pchar, q') in
> > +      try
> > +        SwitchPortMap.(add sw_pt (EdgeSet.add edge (find sw_pt m)) m)
> > +      with Not_found ->
> > +        SwitchPortMap.add sw_pt (EdgeSet.singleton edge) m)
>
> [image: ferrari-458_key_17]<https://f.cloud.github.com/assets/20065/1495305/a416f914-47e7-11e3-902c-79f6a694d69c.jpg>
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/frenetic-lang/frenetic/pull/139/files#r7508169>
> .
>