summaryrefslogtreecommitdiff
path: root/yacc/warshall.c
diff options
context:
space:
mode:
authorLuc Maranget <luc.maranget@inria.fr>2012-09-28 13:23:22 +0000
committerLuc Maranget <luc.maranget@inria.fr>2012-09-28 13:23:22 +0000
commitf69e779f366e356ffb03a9d334465dc073ee6c08 (patch)
tree09f7a1d0a24427e6e47f07e53dd5109a8e4a75ae /yacc/warshall.c
parentf7f6971eb03db54950a60638598f9e6fb507c3f9 (diff)
downloadocaml-f69e779f366e356ffb03a9d334465dc073ee6c08.tar.gz
* Add bigarray
* Work on tests for them to work with a jocaml installation. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@12972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'yacc/warshall.c')
-rw-r--r--yacc/warshall.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/yacc/warshall.c b/yacc/warshall.c
index c9ec782beb..7ad7fc4510 100644
--- a/yacc/warshall.c
+++ b/yacc/warshall.c
@@ -12,7 +12,7 @@
/* Based on public-domain code from Berkeley Yacc */
-/* $Id$ */
+/* $Id: warshall.c 12858 2012-08-10 14:45:51Z maranget $ */
#include "defs.h"