Typo.

FStarLang · Jan 7, 2025 · e5d0083 · e5d0083
1 parent e7b8a51
commit e5d0083
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smtencoding/FStarC.SMTEncoding.Encode.fst b/src/smtencoding/FStarC.SMTEncoding.Encode.fst
@@ -676,7 +676,7 @@ let encode_top_level_val uninterpreted env us fv t quals =
       else norm_before_encoding env t
     in
     if !dbg_SMTEncoding
-    then BU.print4 "Encoding top-level val %s %s : %s\Normalized to is %s\n"
+    then BU.print4 "Encoding top-level val %s %s : %s\nNormalized to is %s\n"
            (show fv)
            (show us)
            (show t)