fix typo (by Paulo Moura)

2018-03-23 19:17:20 +00:00 · 2018-03-23 19:17:20 +00:00 · 7e0611b526
commit 7e0611b526
parent 13cdd5124a
1 changed files with 1 additions and 1 deletions
--- a/packages/jpl/jpl.pl
+++ b/packages/jpl/jpl.pl
@ -4506,7 +4506,7 @@ location(java_root, _, JRE) :-
    member(Root, [ '/usr/lib',
 		   '/usr/local/lib',
                   '/opt/lib',
-  '/Library/Java/JavaVirtual hines',
+  '/Library/Java/JavaVirtualMachines',
  '/System/Library/Frameworks'
 		 ]),
    exists_directory(Root),