diff options
Diffstat (limited to 'byterun/str.h')
| -rw-r--r-- | byterun/str.h | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/byterun/str.h b/byterun/str.h deleted file mode 100644 index a3517e9b6..000000000 --- a/byterun/str.h +++ /dev/null @@ -1,24 +0,0 @@ -/***********************************************************************/ -/* */ -/* Objective Caml */ -/* */ -/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ -/* */ -/* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ -/* */ -/***********************************************************************/ - -/* $Id$ */ - -#ifndef _str_ -#define _str_ - - -#include "misc.h" -#include "mlvalues.h" - -mlsize_t string_length (value); - - -#endif /* _str_ */ |