From 850e3634b91a30a7510fdea9ac970775a79bd64b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 26 May 2020 12:07:48 +0200
Subject: Fix usage of -rifrom, -refrom.

---
 toplevel/usage.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index e69b21a195..732ad05b26 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -50,10 +50,10 @@ let print_usage_common co command =
 \n  -require-export lib, -re lib\
 \n                         load and transitively import Coq library lib\
 \n                         (equivalent to Require Export lib.)\
-\n  -require-import-from root lib, -rifrom lib\
+\n  -require-import-from root lib, -rifrom root lib\
 \n                         load and import Coq library lib\
 \n                         (equivalent to From root Require Import lib.)\
-\n  -require-export-from root lib, -refrom lib\
+\n  -require-export-from root lib, -refrom root lib\
 \n                         load and transitively import Coq library lib\
 \n                         (equivalent to From root Require Export lib.)\
 \n\
-- 
cgit v1.2.3