From b5f619daddad9aa1b94e5ed33df0c06ac3856a35 Mon Sep 17 00:00:00 2001
From: kaashoek <none@none>
Date: Tue, 3 May 1988 13:03:07 +0000
Subject: [PATCH] consistent naming

---
 util/ceg/ce_back/as_back/do_close.c  | 2 +-
 util/ceg/ce_back/as_back/do_open.c   | 2 +-
 util/ceg/ce_back/obj_back/do_close.c | 2 +-
 util/ceg/defaults/pseudo/C_close.c   | 2 +-
 util/ceg/defaults/pseudo/C_open.c    | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/util/ceg/ce_back/as_back/do_close.c b/util/ceg/ce_back/as_back/do_close.c
index a8121f2e1..16ed4b46d 100644
--- a/util/ceg/ce_back/as_back/do_close.c
+++ b/util/ceg/ce_back/as_back/do_close.c
@@ -1,6 +1,6 @@
 #include "header.h"
 
-do_close()
+close_back()
 {
 	sys_close( codefile);
 }
diff --git a/util/ceg/ce_back/as_back/do_open.c b/util/ceg/ce_back/as_back/do_open.c
index f32f0a89b..973d53fde 100644
--- a/util/ceg/ce_back/as_back/do_open.c
+++ b/util/ceg/ce_back/as_back/do_open.c
@@ -1,6 +1,6 @@
 #include "header.h"
 
-do_open( filename)
+open_back( filename)
 char *filename;
 {
 	if ( filename == (char *) '\0')
diff --git a/util/ceg/ce_back/obj_back/do_close.c b/util/ceg/ce_back/obj_back/do_close.c
index 8f864173a..72f4c2c6e 100644
--- a/util/ceg/ce_back/obj_back/do_close.c
+++ b/util/ceg/ce_back/obj_back/do_close.c
@@ -4,7 +4,7 @@
 	
 close_back()
 {
-	output();
+	output_back();
 
 	wr_close();
 }
diff --git a/util/ceg/defaults/pseudo/C_close.c b/util/ceg/defaults/pseudo/C_close.c
index 0439df683..1512bcaf6 100644
--- a/util/ceg/defaults/pseudo/C_close.c
+++ b/util/ceg/defaults/pseudo/C_close.c
@@ -9,6 +9,6 @@ C_close()
 	assert( busy);
 
 	end_back();
-        do_close();
+        close_back();
 	busy = 0;
 }
diff --git a/util/ceg/defaults/pseudo/C_open.c b/util/ceg/defaults/pseudo/C_open.c
index cfa8fbce0..780959f9c 100644
--- a/util/ceg/defaults/pseudo/C_open.c
+++ b/util/ceg/defaults/pseudo/C_open.c
@@ -10,7 +10,7 @@ char *filename;
 {
 	assert( !busy);
 
-	if ( !do_open( filename)) {
+	if ( !open_back( filename)) {
 		fprint( STDERR, "Couldn't open %s\n", filename);
 		return( 0);
 	}