fix dangling cross-references
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Jul 2010 19:40:15 +0000 (15:40 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Jul 2010 19:40:15 +0000 (15:40 -0400)
paper/dfopt.tex

index 2924021..0fc9c95 100644 (file)
@@ -2281,6 +2281,7 @@ sound.
 
 
 \section{\ourlib's implementation}
+\seclabel{implementation}
 \seclabel{engine}
 \seclabel{dfengine}
 
@@ -2543,6 +2544,8 @@ but it is also appropriate because the style in which it is used is
 reminiscent of @concatMap@, with the @node@ and @block@ functions
 playing the role of @map@.
 
+\seclabel{concat-map-style}
+
 Function @graph@ is much like @block@, but it has more cases.