From 868caab9c01ce9b6dbad2b34b90c3794c7298498 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 26 Jun 2013 22:30:54 -0700 Subject: Minor compilation problem. --- src/bool/rpo/module.make | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/bool/rpo/module.make b/src/bool/rpo/module.make index 5c07110c..711a348d 100644 --- a/src/bool/rpo/module.make +++ b/src/bool/rpo/module.make @@ -1 +1 @@ -SRC += src/bool/rpo/rpo.c \ No newline at end of file +SRC += src/bool/rpo/rpo.c \ No newline at end of file -- cgit v1.2.3