wdvi

commit 49fdeb79e939988e7864fcbdec7e9d23f9222c5a
parent 9f89e27d8a2b8c18e426583f73c8b523774b4267
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Mon, 13 Mar 2023 04:45:01 +0000

fix indentation and remove pointless casts

Diffstat:
M
dvi-init.c
 | 
8
++++----

1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/dvi-init.c b/dvi-init.c
@@ -824,11 +824,11 @@ reload_dvi_file(void)
 
 	dvi_is_valid = False;
 	if (page_info != NULL) {
-	    free((char *) (page_info - 1));
-	    page_info = NULL;
-	full_reset_colors();
+		free(page_info - 1);
+		page_info = NULL;
+		full_reset_colors();
 	}
-	bzero((char *) tn_table, (int) sizeof(tn_table));
+	bzero(tn_table, sizeof(tn_table));
 	free_vf_chain(tn_head);
 	tn_head = NULL;
 	for (fontp = font_head; fontp != NULL; fontp = fontp->next)