From f8bf292692425b7f062f4863d9d273352b7301dc Mon Sep 17 00:00:00 2001
From: shaobo-he-aws <130499339+shaobo-he-aws@users.noreply.github.com>
Date: Tue, 24 Oct 2023 11:14:38 -0700
Subject: [PATCH] Remove normalization when constructing IP addresses (#134)

---
 cedar-dafny/def/ext/ipaddr.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cedar-dafny/def/ext/ipaddr.dfy b/cedar-dafny/def/ext/ipaddr.dfy
index 0b888514c..eb07203a4 100644
--- a/cedar-dafny/def/ext/ipaddr.dfy
+++ b/cedar-dafny/def/ext/ipaddr.dfy
@@ -49,7 +49,7 @@ module def.ext.ipaddr {
     function ip(args: seq<T>): Result<T> {
       var s :- checkUnary(args, coerce.String);
       match parse(s) {
-        case Some(ip) => Ok(coerce.fromExt(ip.normalize()))
+        case Some(ip) => Ok(coerce.fromExt(ip))
         case None => Err(ExtensionError)
       }
     }