diff options
author | Nikos Mavroyanopoulos <nmav@php.net> | 2000-10-11 20:32:04 +0000 |
---|---|---|
committer | Nikos Mavroyanopoulos <nmav@php.net> | 2000-10-11 20:32:04 +0000 |
commit | 3156be3fa6111b93ccd97c3c8be1ddde31d7d526 (patch) | |
tree | eac3348d136f21ca81c303d8425c65cac4314eef /ext/ovrimos/ovrimos.c | |
parent | 68683825add95518bbd580e1bc5454a45dc88764 (diff) | |
download | php-git-3156be3fa6111b93ccd97c3c8be1ddde31d7d526.tar.gz |
fixed some includes and removed an unneeded file.
Diffstat (limited to 'ext/ovrimos/ovrimos.c')
-rw-r--r-- | ext/ovrimos/ovrimos.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/ovrimos/ovrimos.c b/ext/ovrimos/ovrimos.c index 8cf6e364f8..c372b70d05 100644 --- a/ext/ovrimos/ovrimos.c +++ b/ext/ovrimos/ovrimos.c @@ -6,7 +6,7 @@ #include <php.h> #include <php_globals.h> #include <zend_API.h> -/* #include "ext/standard/php3_standard.h" */ +#include "ext/standard/php_standard.h" #include "ext/standard/info.h" #include <sqlcli.h> |