diff src/mappers.cc @ 2970:b9e64477f703

[project @ 1997-05-15 18:04:21 by jwe]
author jwe
date Thu, 15 May 1997 18:08:21 +0000
parents dfffbf305468
children 1aeb8869e464
line wrap: on
line diff
--- a/src/mappers.cc	Thu May 15 17:58:30 1997 +0000
+++ b/src/mappers.cc	Thu May 15 18:08:21 1997 +0000
@@ -30,7 +30,7 @@
 
 #include "defun.h"
 #include "error.h"
-#include "oct-mapper.h"
+#include "ov-mapper.h"
 #include "variables.h"
 
 // XXX FIXME XXX -- perhaps this could be avoided by determining