diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 9ccb6bc6..0dd500fa 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -33,13 +33,13 @@ jobs:
     - name: check examples
       working-directory: prototyping
       run: ~/.cabal/bin/agda Examples.agda
+    - name: build PrettyPrinter
+      working-directory: prototyping
+      run: ~/.cabal/bin/agda --compile --ghc-flag=-v PrettyPrinter.agda
     - name: cmake configure
       run: cmake .
     - name: cmake build luau-ast
       run: cmake --build . --target Luau.Ast.CLI
-    - name: build PrettyPrinter
-      working-directory: prototyping
-      run: ~/.cabal/bin/agda --compile PrettyPrinter.agda
     - name: run smoketest
       working-directory: prototyping
       run: ../lua-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua
diff --git a/prototyping/FFI/Data/Scientific.agda b/prototyping/FFI/Data/Scientific.agda
index f43bc8e9..8a5be39e 100644
--- a/prototyping/FFI/Data/Scientific.agda
+++ b/prototyping/FFI/Data/Scientific.agda
@@ -1,6 +1,5 @@
 module FFI.Data.Scientific where
 
-
 {-# FOREIGN GHC import qualified Data.Scientific #-}
 
 postulate Scientific : Set