Whitespace only

GaloisInc · Aug 8, 2023 · ad1ef94 · ad1ef94
1 parent 1c6ad57
commit ad1ef94
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/semmc-aarch32/src/SemMC/Architecture/ARM/UF.hs b/semmc-aarch32/src/SemMC/Architecture/ARM/UF.hs
@@ -159,15 +159,15 @@ uninterpretedFunctions _ =
   ++ bvBinOp "fpRecipStepFused" empty [16,32,64]
   ++ bvBinOp "fpMulX" fpcrArg [16,32,64]
   ++ bvUnOp "fpRoundInt" (empty :> BaseBVRepr (NR.knownNat @32) :> BaseBVRepr (NR.knownNat @3) :> BaseBoolRepr) [16,32,64]
-  
-  
+
+
 -- Standard signatures for "UNDEFINED" functions
 type UFArgs = EmptyCtx
 type UFRet t = t
 
 fpcrArg :: Assignment BaseTypeRepr (EmptyCtx ::> BaseBVType 32)
 fpcrArg = knownRepr
-            
+
 mkUndefBVUF :: forall arm. (KnownNat (A.RegWidth arm), 1 <= A.RegWidth arm)
             => Integer
             -> A.UninterpFn arm
@@ -259,7 +259,7 @@ mkBV2UF :: forall arm. (KnownNat (A.RegWidth arm), 1 <= A.RegWidth arm)
        => String
        -> (forall n m. 1 <= n => 1 <= m => NR.NatRepr n -> NR.NatRepr m -> (Some (Assignment BaseTypeRepr), Some BaseTypeRepr))
        -> Integer
-       -> Integer 
+       -> Integer
        -> A.UninterpFn arm
 mkBV2UF name mksig bvsz1 bvsz2
   | Just (Some bvszRep1) <- NR.someNat bvsz1

diff --git a/semmc/src/Data/Parameterized/TyMap.hs b/semmc/src/Data/Parameterized/TyMap.hs
@@ -32,7 +32,7 @@ type family Map (f :: TyFun k1 k2 -> Type) (xs :: [k1]) :: [k2] where
   Map f '[] = '[]
   Map f (x ': xs) = Apply f x ': Map f xs
 
--- | Apply a type-modifying 'Map' to each element of an 'SL.List' 
+-- | Apply a type-modifying 'Map' to each element of an 'SL.List'
 applyMapList :: forall k1 k2 (f :: TyFun k1 k2 -> Type) (xs :: [k1])
                         (g :: k2 -> Type) (h :: k1 -> Type)
                . Proxy f -> (forall (x :: k1). h x -> g (Apply f x))
@@ -46,7 +46,7 @@ type family MapContext (f :: TyFun k1 k2 -> Type) (xs :: Ctx.Ctx k1) :: Ctx.Ctx
   MapContext f (xs Ctx.::> x) = MapContext f xs Ctx.::> Apply f x
 
 
--- | Apply a type-modifying 'MapContext' to each element of an 'Ctx.Assignment' 
+-- | Apply a type-modifying 'MapContext' to each element of an 'Ctx.Assignment'
 applyMapContext :: forall k1 k2 (f :: TyFun k1 k2 -> Type) (xs :: Ctx.Ctx k1)
                         (g :: k2 -> Type) (h :: k1 -> Type)
                . Proxy f -> (forall (x :: k1). h x -> g (Apply f x))