Skip to content
Browse files

Fixes a bug in remote-retrieve-file, string wasn't converted back

to a value understood by CLIPS, caused malfunctions & crashes
  • Loading branch information...
1 parent 54e2f9d commit 5ef404281b6329b47012215f4a1b61485106d2b9 @yrashk committed Apr 25, 2012
Showing with 3 additions and 1 deletion.
  1. +3 −1 c_src/user.c
View
4 c_src/user.c
@@ -12,7 +12,9 @@ void * remote_retr_file()
printf("Fetching %s\n", filename);
- return filename;
+ void * result = AddSymbol(filename);
+
+ return result;
}
void UserFunctions()

0 comments on commit 5ef4042

Please sign in to comment.
Something went wrong with that request. Please try again.