Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 602958 | Differences between
and this patch

Collapse All | Expand All

(-)work/Isabelle2016/src/Pure/General/sha1_polyml.ML (-1 / +1 lines)
Lines 18-24 fun hex_string arr i = Link Here
18 
  in (op ^) (apply2 hex_digit (Integer.div_mod (Char.ord c) 16)) end
 18 
  in (op ^) (apply2 hex_digit (Integer.div_mod (Char.ord c) 16)) end
19 

          19
          

        

        

          20
          
val lib_path =

          20
          
val lib_path =

        

          
            

              21
              
  ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))


              21
              
  ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))

            

        

          22
          
  |> Path.explode;

          22
          
  |> Path.explode;

        

        

          23
          

          23
          

        

        

          24
          
val STRING_INPUT_BYTES =

          24
          
val STRING_INPUT_BYTES =

        






  

  Return to bug 602958