X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FHaskCoreLiterals.v;fp=src%2FHaskCoreLiterals.v;h=05cace204216d2ba4d291c2ad6a4dbd08efbf9ad;hb=53d4f1ce851b924cab5dc39419179a366001cbca;hp=24432ee22c327acdc7d83e13001420e736f45f43;hpb=e4a70787c40d9fa1c009e966d09a85ee2120092a;p=coq-hetmet.git

diff --git a/src/HaskCoreLiterals.v b/src/HaskCoreLiterals.v
index 24432ee..05cace2 100644
--- a/src/HaskCoreLiterals.v
+++ b/src/HaskCoreLiterals.v
@@ -44,7 +44,7 @@ Extract Inductive HaskLiteral => "Literal.Literal"
 Extract Inductive HaskFunctionOrData =>
   "BasicTypes.FunctionOrData" [ "BasicTypes.IsFunction" "BasicTypes.IsData" ].
 
-Variable haskLiteralToString  : HaskLiteral -> string.    Extract Inlined Constant haskLiteralToString     => "outputableToString".
+Variable haskLiteralToString : HaskLiteral -> string.    Extract Inlined Constant haskLiteralToString     => "outputableToString".
 Instance HaskLiteralToString : ToString HaskLiteral := { toString := haskLiteralToString }.
 
 (* because Haskell's 3-tuples (triples) are distinct from both ((x,y),z) and (x,(y,z)), we need a new type: *)