diff src/ov-fcn-handle.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 4c8a2e4e0717
line wrap: on
line diff
--- a/src/ov-fcn-handle.cc	Fri Feb 25 17:42:55 2005 +0000
+++ b/src/ov-fcn-handle.cc	Fri Feb 25 19:55:28 2005 +0000
@@ -25,6 +25,7 @@
 #endif
 
 #include <iostream>
+#include <vector>
 
 #include "defun.h"
 #include "error.h"