removed float operations + improved pseudo somewhat

1 files changed, 4 insertions, 4 deletions

diff --git a/src/Assembly/PseudoConversion.v b/src/Assembly/PseudoConversion.v
index f6a9ac26d..c3f03195a 100644
--- a/src/Assembly/PseudoConversion.v
+++ b/src/Assembly/PseudoConversion.v
@@ -5,14 +5,14 @@ Require Export Bedrock.Word.
 Require Export List.
 Require Vector.
 
-Module PseudoConversion <: Conversion Pseudo AlmostQhasm.
-  Import QhasmCommon AlmostQhasm Pseudo State.
+Module PseudoConversion (P: Pseudo) <: Conversion P AlmostQhasm.
+  Import QhasmCommon AlmostQhasm P State.
   Import ListNotations.
 
-  Definition convertState (st: AlmostQhasm.State): Pseudo.State :=
+  Definition convertState (st: AlmostQhasm.State): P.State :=
     match st with
     | fullState _ _ stackState _ =>
-      map (fun x => NToWord 32 (snd x)) (NatM.elements stackState)
+      map (fun x => NToWord width (snd x)) (NatM.elements stackState)
     end.
 
   Fixpoint convertProgram' (prog: Pseudo): option AlmostQhasm.Program :=