Add the dot back in the comment that was previously deleted

liufufa · Apr 10, 2021 · ec0567e · ec0567e
1 parent e59b3ab
commit ec0567e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.c b/main.c
@@ -463,7 +463,7 @@ main(
 
   Return value:
 
-    Integer value
+    Integer value.
 
 --*/
 {