Disambiguate for haddock

LeventErkok · Oct 30, 2023 · 8f8c7bb · 8f8c7bb
1 parent 78101c9
commit 8f8c7bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV.hs b/Data/SBV.hs
@@ -774,7 +774,7 @@ bit-vectors. The operations that are restricted to bounded word/int sizes are:
 
    * Extraction and concatenation: 'bvExtract', '#', 'zeroExtend', 'signExtend', 'bvDrop', and 'bvTake'
 
-Usual arithmetic ('+', '-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are
+Usual arithmetic ('Prelude.+', 'Prelude.-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are
 supported for 'SInteger' fully, both in programming and verification modes.
 -}