     (modify-syntax-entry ?\" "\"" table)
     (modify-syntax-entry ?*  ". 23" table)
     (modify-syntax-entry ?/  ". 12b" table)
-    (modify-syntax-entry ?\n "> b" table)
+    (modify-syntax-entry ?\n  "> b" table)
+    (modify-syntax-entry ?\^m "> b" table)
     (modify-syntax-entry ?\( "()1n" table)
     (modify-syntax-entry ?\) ")(4n" table)
     table)


(defun fstar-setup-font-lock ()
  "Setup font-lock for use with F*."
  (setq-local
   font-lock-defaults
   `(((,fstar-syntax-constants    . 'font-lock-constant-face)


(defun fstar-setup-comments ()
  "Set comment-related variables for F*."
  (setq-local comment-start      "//")
  (setq-local comment-end        "")
  (setq-local comment-start-skip "\\s-*\\((\\*+\\|//\\)\\s-*")
  (setq-local comment-end-skip   "\\s-*\\*+)\\s-*")
  (setq-local font-lock-syntactic-face-function #'fstar-syntactic-face-function))

