 
 (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 "\\)*\\)"))
 


(defconst fstar-syntax-builtins
  (regexp-opt '("requires" "ensures" "modifies" "decreases" "attributes"
                "effect" "new_effect" "sub_effect" "new_effect_for_free"
                "effect_actions")
              'symbols))


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


(defcustom fstar-subp-block-sep
  (concat "\\(?:\\'\\|\n\\(?:[[:space:]]*\n\\)+\\(?:" fstar-syntax-block-start-re "\\)\\)")
  "Regular expression used when looking for source blocks."
  :group 'fstar
  :type 'string
