diff src/ov-fcn-inline.cc @ 5164:57077d0ddc8e

[project @ 2005-02-25 19:55:24 by jwe]
author jwe
date Fri, 25 Feb 2005 19:55:28 +0000
parents e35b034d3523
children bd32f770c09a
line wrap: on
line diff
--- a/src/ov-fcn-inline.cc	Fri Feb 25 17:42:55 2005 +0000
+++ b/src/ov-fcn-inline.cc	Fri Feb 25 19:55:28 2005 +0000
@@ -29,6 +29,7 @@
 
 #include <istream>
 #include <iostream>
+#include <vector>
 
 #include "defun.h"
 #include "error.h"