Almost

Nemocas · Apr 12, 2017 · 498e924 · 498e924
1 parent 631473b
commit 498e924
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -142,7 +142,7 @@ function versioninfo()
   finalize(prepo)
 
   for deps in ["flint2", "arb", "antic"]
-    if ispath(joinpath(nemorepo, "deps/flint2"))
+    if ispath(joinpath(nemorepo, "deps", deps))
       print("$deps: ")
       repo = joinpath(nemorepo, "deps", deps)