From 244e554f9dc919ea9aa02aeed51464aaf1b60125 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 3 Apr 2015 08:45:26 +0200
Subject: Fix Makefiles.

---
 mathcomp/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index dcd5f4e..fcd8dfe 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -6,7 +6,7 @@ export COQPATH=$(PWD)/..
 all: ssreflect algebra fingroup odd_order solvable field character discrete real_closed ssrtest
 	$(MAKE) -C $@
 
-ssrefect:
+ssreflect:
 	$(MAKE) -C $@
 
 algebra: fingroup
-- 
cgit v1.2.3