[ocaml] Fix typo in diagnostic message.
This commit is contained in:
parent
c987fbecdf
commit
31bff63404
|
@ -2261,16 +2261,16 @@ Other:
|
||||||
Renner, Adam Frey, Adam Kruszewski, Alexander Dalshov, Alexander Eberspächer,
|
Renner, Adam Frey, Adam Kruszewski, Alexander Dalshov, Alexander Eberspächer,
|
||||||
Alexander Iljin, Alexander Kjeldaas, Alexandros Kotzias, Andriy Senyshyn,
|
Alexander Iljin, Alexander Kjeldaas, Alexandros Kotzias, Andriy Senyshyn,
|
||||||
Anton Latukha, Antonio Miranda, Anurag Sharma, Archenoth, Ather Sharif, Artur
|
Anton Latukha, Antonio Miranda, Anurag Sharma, Archenoth, Ather Sharif, Artur
|
||||||
Juraszek, Benjamin Reynolds, Billy Wade, bmag, Boris Buliga, Boris Wong, Carl
|
Juraszek, Benjamin Reynolds, Bernhard Schommer, Billy Wade, bmag, Boris
|
||||||
Lange, Chase Adams, Cibin Mathew, CL123123, Codruț Constantin Gușoi,
|
Buliga, Boris Wong, Carl Lange, Chase Adams, Cibin Mathew, CL123123, Codruț
|
||||||
Compro-Prasad, Daniel Hodson, Daniel Le, Daniel Molina, Darkhan, David
|
Constantin Gușoi, Compro-Prasad, Daniel Hodson, Daniel Le, Daniel Molina,
|
||||||
Florness, David Vo, davidpham87, Deepu Mohan Puthrote, Dela Anthonio, Diego
|
Darkhan, David Florness, David Vo, davidpham87, Deepu Mohan Puthrote, Dela
|
||||||
Alvarez, Diego Berrocal, Dietrich Daroch, Dinesh Bhosale, Dominik Schrempf,
|
Anthonio, Diego Alvarez, Diego Berrocal, Dietrich Daroch, Dinesh Bhosale,
|
||||||
Doug Beardsley, dubnde, duianto, eldios, EMayej, Eugene Yaremenko, Evan
|
Dominik Schrempf, Doug Beardsley, dubnde, duianto, eldios, EMayej, Eugene
|
||||||
Klitzke, Evan Niessen-Derry, firemiles, Fuqiao Xue, Garrett Johnson, Grant
|
Yaremenko, Evan Klitzke, Evan Niessen-Derry, firemiles, Fuqiao Xue, Garrett
|
||||||
Shangreaux, Henrique Jung, Henry Hirsch, Henry Marshall, hornuda, Ivan
|
Johnson, Grant Shangreaux, Henrique Jung, Henry Hirsch, Henry Marshall,
|
||||||
Fedorov, Ivan Kryvoruchko, J. Patrick Lanigan, Jaremy Creechley, Jason
|
hornuda, Ivan Fedorov, Ivan Kryvoruchko, J. Patrick Lanigan, Jaremy Creechley,
|
||||||
Axelson, Jesse Cooke, Jethro Shuwen Sun, JI Xiang, Jim Deville, Jody
|
Jason Axelson, Jesse Cooke, Jethro Shuwen Sun, JI Xiang, Jim Deville, Jody
|
||||||
Frankowski, Joe Hillenbrand, John Eismeier, John Wood, Jon Tippens, Jonas
|
Frankowski, Joe Hillenbrand, John Eismeier, John Wood, Jon Tippens, Jonas
|
||||||
Strømsodd, Jonathan Arnett, Jonathan Gillett, Josh Greenwood, Joshua Santos,
|
Strømsodd, Jonathan Arnett, Jonathan Gillett, Josh Greenwood, Joshua Santos,
|
||||||
Justin Stone, Kainalu Hagiwara, Kalle Lindqvist, Kechao Cai, Keith Simmons,
|
Justin Stone, Kainalu Hagiwara, Kalle Lindqvist, Kechao Cai, Keith Simmons,
|
||||||
|
|
|
@ -20,7 +20,7 @@
|
||||||
"opam config var share"))))))
|
"opam config var share"))))))
|
||||||
(cond ((string= "" share)
|
(cond ((string= "" share)
|
||||||
(spacemacs-buffer/warning
|
(spacemacs-buffer/warning
|
||||||
"\"opam config var shar\" output empty string."))
|
"\"opam config var share\" output empty string."))
|
||||||
((not (file-directory-p share))
|
((not (file-directory-p share))
|
||||||
(spacemacs-buffer/warning
|
(spacemacs-buffer/warning
|
||||||
"opam share directory does not exist."))
|
"opam share directory does not exist."))
|
||||||
|
|
Loading…
Reference in a new issue