31c31
< * Set.h
---
> * Set.hh
35c35
< * $Id: BigSet.h 1.6 05/01/19 13:12:25-06:00 mikem@maya.cs.wisc.edu $
---
> * $Id: BigSet.hh 1.6 05/01/19 13:12:25-06:00 mikem@maya.cs.wisc.edu $
43c43
< // included from Set.h
---
> // included from Set.hh
< * Set.h
---
> * Set.hh
35c35
< * $Id: BigSet.h 1.6 05/01/19 13:12:25-06:00 mikem@maya.cs.wisc.edu $
---
> * $Id: BigSet.hh 1.6 05/01/19 13:12:25-06:00 mikem@maya.cs.wisc.edu $
43c43
< // included from Set.h
---
> // included from Set.hh