@@ -17,8 +17,8 @@
 ;;     along with Megatest.  If not, see <http://www.gnu.org/licenses/>.
 ;;
 ;;======================================================================
 
 ;; (use trace)
-(use typed-records)
+(import typed-records)
 
 ;; moved to commonmod