From ebe6d6b9e63f444d4f257d7fad4439a62267e48f Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 23 Feb 2012 11:35:18 +0000 Subject: [PATCH] Reorder SOURCES for consistency. --- lib/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Makefile.am b/lib/Makefile.am index 967cfd0..99ace91 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -37,8 +37,8 @@ SOURCES = \ whenlock.mli \ whenproto_aux.ml \ whenproto_aux.mli \ - whenutils.mli \ - whenutils.ml + whenutils.ml \ + whenutils.mli # In alphabetical order. CMI_FILES = \ -- 1.8.3.1