From 339c0d55c82cbaf80df43641418fa967448cde36 Mon Sep 17 00:00:00 2001
From: ROB-ernst <ernst@rob.uni-luebeck.de>
Date: Wed, 14 Nov 2018 12:00:56 +0100
Subject: [PATCH] Updates.

---
 extension.cpp | 5 ++---
 pxt.json      | 2 +-
 shims.d.ts    | 4 ++--
 3 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/extension.cpp b/extension.cpp
index 8a475b8..55ca7b7 100644
--- a/extension.cpp
+++ b/extension.cpp
@@ -6,10 +6,9 @@ namespace sfloat {
     /**
     * Perform soft-float conversion
     */
-    //% blockId=sfloat_IntToSFloat block="Convert integer %x to SoftFloat representation"
-    int IntToSFloat(int x) {
+    //% blockId=sfloat_fromInt block="Convert integer %x to SoftFloat representation"
+    int fromInt(int x) {
         simulate_float res = int_to_sfloat(x);
 		return res;
     }
-
 }
diff --git a/pxt.json b/pxt.json
index c35f5d5..3fb8ddd 100644
--- a/pxt.json
+++ b/pxt.json
@@ -23,5 +23,5 @@
         "test.ts"
     ],
     "public": true,
-    "installedVersion": "workspace:c19f6d3e-3838-4f36-ce2d-dffea6f77797"
+    "installedVersion": "workspace:de252d46-a55c-4e51-9ec9-5e5e21fcb1f4"
 }
\ No newline at end of file
diff --git a/shims.d.ts b/shims.d.ts
index fc27388..5d59249 100644
--- a/shims.d.ts
+++ b/shims.d.ts
@@ -4,8 +4,8 @@ declare namespace sfloat {
     /**
      * Perform soft-float conversion
      */
-    //% blockId=sfloat_IntToSFloat block="Convert integer %x to SoftFloat representation" shim=sfloat::IntToSFloat
-    function IntToSFloat(x: number): number;
+    //% blockId=sfloat_fromInt block="Convert integer %x to SoftFloat representation" shim=sfloat::fromInt
+    function fromInt(x: int32): int32;
 }
 
 // Auto-generated. Do not edit. Really.