 
 (defconst fstar-syntax-universe-id (concat "\\_<" fstar-syntax-universe-id-unwrapped "\\_>"))
 
-(defconst fstar-syntax-universe (concat "\\(" fstar-syntax-universe-id
-                                   "\\|u#([^)]*)\\)"))
+(defconst fstar-syntax-universe (concat "\\(" fstar-syntax-universe-id "\\|u#([^)]*)\\)"))
 
 (defconst fstar-syntax-ids (concat "\\(" fstar-syntax-id "\\(?: +" fstar-syntax-id "\\)*\\)"))
 

        (fstar-subp-set-status overlay 'pending)
        (fstar-subp-process-queue (current-buffer))))))

(defcustom fstar-subp-block-sep "\\(\\'\\|\\s-*\\(\n\\s-*\\)\\{3,\\}\\)"
  "Regular expression used when looking for source blocks."
  :group 'fstar
  :type 'string

  (let (pos)
    (save-excursion
      (while (and (null pos) (re-search-forward fstar-subp-block-sep bound t))
        (goto-char (point-at-bol))
        (unless (fstar-in-comment-p)
          (setq pos (point)))))
    (when pos
