register null label with GUI

svn: r5865
2007-04-04 05:07:14 +00:00 · 2007-04-04 05:07:14 +00:00 · 0a32f96b73
commit 0a32f96b73
parent 6080f9ed28
1 changed files with 1 additions and 0 deletions
--- a/collects/mrflow/constraints-gen-and-prop.ss
+++ b/collects/mrflow/constraints-gen-and-prop.ss
@ -2374,6 +2374,7 @@
                             (make-hash-table)
                             sexp-e)])
                       (initialize-label-set-for-value-source null-label)
+                       (register-label-with-gui null-label)
                       null-label)
                     (let ([cons-label
                            (make-label-cons